From 8bc0632491f0df041c60835490a480433156e422 Mon Sep 17 00:00:00 2001
From: Tom Beckmann <tombeckmann@online.de>
Date: Thu, 31 May 2012 18:24:37 +0200
Subject: [PATCH] Make workspace animation sync better

---
 src/Widgets/WorkspaceSwitcher.vala | 2 +-
 src/gala-plugin.vala               | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Widgets/WorkspaceSwitcher.vala b/src/Widgets/WorkspaceSwitcher.vala
index 735d6363..34253dab 100644
--- a/src/Widgets/WorkspaceSwitcher.vala
+++ b/src/Widgets/WorkspaceSwitcher.vala
@@ -16,7 +16,7 @@ public class WorkspaceSwitcher : Clutter.Group {
         get {return _workspace;}
         set {
             _workspace = value;
-            cur.animate (Clutter.AnimationMode.EASE_OUT_QUAD, 400, y:_workspace*len+1+spacing);
+            cur.animate (Clutter.AnimationMode.EASE_OUT_QUAD, 300, y:_workspace*len+1+spacing);
         }
     }
     
diff --git a/src/gala-plugin.vala b/src/gala-plugin.vala
index f80c7dce..e502bc26 100644
--- a/src/gala-plugin.vala
+++ b/src/gala-plugin.vala
@@ -347,9 +347,9 @@ namespace Gala {
             in_group.set_position (-x2, -y2);
             in_group.raise_top ();
             
-            out_group.animate (Clutter.AnimationMode.EASE_OUT_QUAD, 250,
+            out_group.animate (Clutter.AnimationMode.EASE_OUT_QUAD, 300,
                 x:x2, y:y2);
-            in_group.animate (Clutter.AnimationMode.EASE_OUT_QUAD, 250,
+            in_group.animate (Clutter.AnimationMode.EASE_OUT_QUAD, 300,
                 x:0.0f, y:0.0f).completed.connect ( () => {
                 end_switch_workspace ();
             });