From 6c13ca817df321ea15314cf021e142d109e7950c Mon Sep 17 00:00:00 2001 From: Adel Gadllah Date: Thu, 18 Mar 2010 19:39:09 +0100 Subject: [PATCH] Fix workspaceSwitcherPopup The check in WindowManager._showWorkspaceSwitcher is supposed to check if the overview is _not_ visible. Fix that. --- js/ui/windowManager.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index eb3db1b9d..ad8b21ed4 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -315,7 +315,7 @@ WindowManager.prototype = { if (global.screen.n_workspaces == 1) return; - if (this._workspaceSwitcherPopup == null && Main.overview.visible) + if (this._workspaceSwitcherPopup == null && !Main.overview.visible) this._workspaceSwitcherPopup = new WorkspaceSwitcherPopup.WorkspaceSwitcherPopup(); if (binding == "switch_to_workspace_left") {