[gnome-shell] Make switch-workspace faster (the same as the other wm ops)

[Dan Winship <danw src gnome org>]

commit deaf0e4e1a56bd0325df56982be8982a872654a4
Author: Dan Winship <danw gnome org>
Date:   Wed May 13 15:24:32 2009 -0400

    Make switch-workspace faster (the same as the other wm ops)
---
 js/ui/windowManager.js |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index e1918be..18f394b 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"
                          });
     },