From 050378743e4823b8102aa7d95305068a2b56014a Mon Sep 17 00:00:00 2001 From: Yuki Date: Sat, 8 Nov 2014 13:56:38 +0800 Subject: [PATCH] viewSelector: Hide workspace page after animating to app picker WorkspacesDisplay relies on being hidden to disable workspace switches by scrolling or panning. Usually viewSelector will hide the previous page on page switch, but we currently miss the case when opening the overview at the app picker, where the workspaces page is still shown for the transition, but never hidden. Fix this by calling hide() in addition to setting the opacity to 0 at the end of the overview animation. https://bugzilla.gnome.org/show_bug.cgi?id=737534 --- js/ui/viewSelector.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js index e82dfb3ff..d0e814096 100644 --- a/js/ui/viewSelector.js +++ b/js/ui/viewSelector.js @@ -193,8 +193,10 @@ const ViewSelector = new Lang.Class({ // the windows to animate, but now we no longer want to // show it given that we are now on the apps page or // search page. - if (this._activePage != this._workspacesPage) + if (this._activePage != this._workspacesPage) { this._workspacesPage.opacity = 0; + this._workspacesPage.hide(); + } })); Main.wm.addKeybinding('toggle-application-view',