workspacesView: Fix updating when number of workspaces changes

Ouch. This went unnoticed for a long time as by default (using
dynamic workspaces) only one workspace is added at a time, which
happens to work fine.

https://bugzilla.gnome.org/show_bug.cgi?id=686487
This commit is contained in:
Florian Müllner 2012-10-19 19:58:05 +02:00
parent 96a80f7ba0
commit a2b1946b01

View File

@ -935,9 +935,10 @@ const WorkspacesDisplay = new Lang.Class({
// Assume workspaces are only added at the end
for (let w = oldNumWorkspaces; w < newNumWorkspaces; w++) {
let metaWorkspace = global.screen.get_workspace_by_index(w);
this._workspaces[m++][w] =
this._workspaces[m][w] =
new Workspace.Workspace(metaWorkspace, i);
}
m++;
}
this._thumbnailsBox.addThumbnails(oldNumWorkspaces, newNumWorkspaces - oldNumWorkspaces);