From 39afb58472ffe9ed49cb0e1af02830a7b9e2a6f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 30 Aug 2013 01:56:38 +0200 Subject: [PATCH] windowManager: Don't open overview after closing the last window on a workspace Activating the overview is fairly easy (hot corner, ), 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 file changed, 6 deletions(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 96270a479..75be4c53b 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;