From deaf0e4e1a56bd0325df56982be8982a872654a4 Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@gnome.org>
Date: Wed, 13 May 2009 15:24:32 -0400
Subject: [PATCH] Make switch-workspace faster (the same as the other wm ops)

---
 js/ui/windowManager.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index e1918be8c..18f394b75 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -10,7 +10,6 @@ const Main = imports.ui.main;
 const Tweener = imports.ui.tweener;
 
 const WINDOW_ANIMATION_TIME = 0.25;
-const SWITCH_ANIMATION_TIME = 0.5;
 
 function WindowManager() {
     this._init();
@@ -342,7 +341,7 @@ WindowManager.prototype = {
         Tweener.addTween(switchData.outGroup,
                          { x: xDest,
                            y: yDest,
-                           time: SWITCH_ANIMATION_TIME,
+                           time: WINDOW_ANIMATION_TIME,
                            transition: "easeOutQuad",
                            onComplete: this._switchWorkspaceDone,
                            onCompleteScope: this
@@ -350,7 +349,7 @@ WindowManager.prototype = {
         Tweener.addTween(switchData.inGroup,
                          { x: 0,
                            y: 0,
-                           time: SWITCH_ANIMATION_TIME,
+                           time: WINDOW_ANIMATION_TIME,
                            transition: "easeOutQuad"
                          });
     },