[gnome-shell] overview: hide side controls when searching

[Cosimo Cecchi <cosimoc src gnome org>]

commit 45415a742fe413af27080fc8b11940fab2fed2f0
Author: Tanner Doshier <doshitan gmail com>
Date:   Thu Jan 24 16:34:06 2013 -0500

    overview: hide side controls when searching
    
    Hide the elements when the search is active. Show them if the search
    is cancelled.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=682050

 js/ui/overview.js |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/overview.js b/js/ui/overview.js
index 399bd19..10deada 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -277,8 +277,15 @@ const Overview = new Lang.Class({
             return;
 
         let activePage = this._viewSelector.getActivePage();
+        let dashVisible = (activePage == ViewSelector.ViewPage.WINDOWS ||
+                           activePage == ViewSelector.ViewPage.APPS);
         let thumbnailsVisible = (activePage == ViewSelector.ViewPage.WINDOWS);
 
+        if (dashVisible)
+            this._dashSlider.slideIn();
+        else
+            this._dashSlider.slideOut();
+
         if (thumbnailsVisible)
             this._thumbnailsSlider.slideIn();
         else