[gnome-shell] workspacesView: Make sure to update workspace actors when entering the overview

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

commit b6c3c9891c46e40ca836cc2b593204a96b33e2e9
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Wed Oct 30 18:19:18 2013 -0400

    workspacesView: Make sure to update workspace actors when entering the overview
    
    Otherwise, they will be in the wrong positions.

 js/ui/workspacesView.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 31d6144..eaca4f0 100644
--- 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() {