brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

viewSelector: Hide workspace page after animating to app picker

Browse Source 
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
This commit is contained in:
Yuki 2014-11-08 13:56:38 +08:00 committed by Florian Müllner
parent 25bf2ff87a
commit 050378743e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
js/ui/viewSelector.js
View File

@ -193,8 +193,10 @@ const ViewSelector = new Lang.Class({
// the windows to animate, but now we no longer want to // the windows to animate, but now we no longer want to
// show it given that we are now on the apps page or // show it given that we are now on the apps page or
// search page. // search page.
if (this._activePage != this._workspacesPage) if (this._activePage != this._workspacesPage) {
this._workspacesPage.opacity = 0; this._workspacesPage.opacity = 0;
this._workspacesPage.hide();
}
})); }));
Main.wm.addKeybinding('toggle-application-view', Main.wm.addKeybinding('toggle-application-view',