brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

workspacesView: Don't tween the upper of our scroll adjustment

Browse Source 
This really doesn't make sense. The new upper should be the new workspace
index as soon as it's available.
This commit is contained in:
Jasper St. Pierre 2013-09-11 11:47:56 -04:00
parent 287ddda5df
commit a5a6fd3bc2
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
js/ui/workspacesView.js
View File

@ -236,13 +236,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++) {