From b6c3c9891c46e40ca836cc2b593204a96b33e2e9 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Wed, 30 Oct 2013 18:19:18 -0400
Subject: [PATCH] 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 file changed, 1 insertion(+)

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 31d61441c..eaca4f04d 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() {