[gnome-shell/gnome-3-14] viewSelector: Hide workspace page after animating to app picker

[Florian Müllner <fmuellner src gnome org>]

commit 3bb500fed4fd8b996a9bd7de9b4a1dc8ac7d64f2
Author: Yuki <yuuki k osada gmail com>
Date:   Sat Nov 8 13:56:38 2014 +0800

    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 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index e82dfb3..d0e8140 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',