Make switch-workspace faster (the same as the other wm ops)

This commit is contained in:
Dan Winship 2009-05-13 15:24:32 -04:00
parent bea595d143
commit deaf0e4e1a

View File

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