[gnome-shell/wip/workspace: 2/9] workspacesView: Don't tween the upper of our scroll adjustment

[Jasper St. Pierre <jstpierre src gnome org>]

commit 04c5e7002723f5f21d5597e8f3f58ed494b86911
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Wed Sep 11 11:47:56 2013 -0400

    workspacesView: Don't tween the upper of our scroll adjustment
    
    This really doesn't make sense. The new upper is the highest workspace
    as soon as it's available.

 js/ui/workspacesView.js |    8 +-------
 1 files changed, 1 insertions(+), 7 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 758ae2e..106c0cf 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -267,13 +267,7 @@ const WorkspacesView = new Lang.Class({
     },
 
     updateWorkspaces: function(oldNumWorkspaces, newNumWorkspaces) {
-        let active = global.screen.get_active_workspace_index();
-
-        Tweener.addTween(this.scrollAdjustment,
-                         { upper: newNumWorkspaces,
-                           time: WORKSPACE_SWITCH_TIME,
-                           transition: 'easeOutQuad'
-                         });
+        this.scrollAdjustment.upper = newNumWorkspaces;
 
         if (newNumWorkspaces > oldNumWorkspaces) {
             for (let w = oldNumWorkspaces; w < newNumWorkspaces; w++) {