[gnome-shell] windowManager: Don't open overview after closing the last window on a workspace

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

commit 39afb58472ffe9ed49cb0e1af02830a7b9e2a6f8
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Aug 30 01:56:38 2013 +0200

    windowManager: Don't open overview after closing the last window on a workspace
    
    Activating the overview is fairly easy (hot corner, <super>), so doing it
    automatically after closing the last window on a workspace does not save
    a lot of effort; it does result in a surprising context switch when the
    user does not expect the behavior.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=662581

 js/ui/windowManager.js |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 96270a4..75be4c5 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -250,9 +250,6 @@ const WorkspaceTracker = new Lang.Class({
         let activeWorkspaceIndex = global.screen.get_active_workspace_index();
         let removingCurrentWorkspace = (emptyWorkspaces[activeWorkspaceIndex] &&
                                         activeWorkspaceIndex < emptyWorkspaces.length - 1);
-        // Don't enter the overview when removing multiple empty workspaces at startup
-        let showOverview  = (removingCurrentWorkspace &&
-                             !emptyWorkspaces.every(function(x) { return x; }));
 
         if (removingCurrentWorkspace) {
             // "Merge" the empty workspace we are removing with the one at the end
@@ -268,9 +265,6 @@ const WorkspaceTracker = new Lang.Class({
         if (removingCurrentWorkspace) {
             global.screen.get_workspace_by_index(global.screen.n_workspaces - 
1).activate(global.get_current_time());
             this._wm.unblockAnimations();
-
-            if (!Main.overview.visible && showOverview)
-                Main.overview.show();
         }
 
         this._checkWorkspacesId = 0;