gnome-shell/js
Yuki 3bb500fed4 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
2014-11-12 19:19:31 +01:00
..
extensionPrefs extensionPrefs: Improve handling of OutOfDate extensions 2014-09-06 22:06:23 +02:00
gdm gdm: fix missing braces 2014-10-13 11:50:12 -04:00
misc Implement input source switching 2014-09-11 19:14:46 +02:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper PortalHelper: fix portals that don't redirect properly 2014-08-19 15:29:22 +02:00
ui viewSelector: Hide workspace page after animating to app picker 2014-11-12 19:19:31 +01:00
js-resources.gresource.xml status/keyboard: Factor out a KeyboardManager class 2014-09-11 19:14:46 +02:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00