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

[Jakub Steiner <jimmac src gnome org>]

commit d1bd142fd52d8cf9744fd69feba44e50343fb4ac
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',