[gnome-shell/wip/rewindow: 24/30] workspace: Make sure to hide other workspace when returning from the overview

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

commit 1af65c688e92af86d5201acc93b0d09ad3c41bb0
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Thu Aug 9 14:29:17 2012 -0300

    workspace: Make sure to hide other workspace when returning from the overview
    
    https://bugzilla.gnome.org/show_bug.cgi?id=582650

 js/ui/workspace.js |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index cff9a42..55977f6 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1330,8 +1330,11 @@ const Workspace = new Lang.Class({
         this._overviewHiddenId = Main.overview.connect('hidden', Lang.bind(this,
                                                                            this._doneLeavingOverview));
 
-        if (this.metaWorkspace != null && this.metaWorkspace != currentWorkspace)
+        if (this.metaWorkspace != null && this.metaWorkspace != currentWorkspace) {
+            // If we're not zooming out, save some time and destroy us now.
+            this.destroy();
             return;
+        }
 
         // Position and scale the windows.
         for (let i = 0; i < this._windows.length; i++) {