[gnome-shell/gnome-3-6] workspacesView: Fix updating when number of workspaces changes

[Florian MÃllner <fmuellner src gnome org>]

commit 5e5bc710647222ac25689dc4c334d37478d9088c
Author: Florian MÃllner <fmuellner gnome org>
Date:   Fri Oct 19 19:58:05 2012 +0200

    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

 js/ui/workspacesView.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index da3b0cd..8fb2fd8 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -939,9 +939,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);