workspacesView: Make sure to update workspace actors when entering the overview

Otherwise, they will be in the wrong positions.
2013-10-30 18:19:18 -04:00 · 2013-10-30 18:19:18 -04:00 · b6c3c9891c
commit b6c3c9891c
parent d401b493a4
1 changed files with 1 additions and 0 deletions
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@ -141,6 +141,7 @@ const WorkspacesView = new Lang.Class({
    zoomToOverview: function() {
        for (let w = 0; w < this._workspaces.length; w++)
            this._workspaces[w].zoomToOverview();
+        this._updateWorkspaceActors(false);
    },

    zoomFromOverview: function() {