[gnome-shell] overviewControls: Don't push window thumbs over when workspaces are invisible

[Jasper St. Pierre <jstpierre src gnome org>]

commit 5a2269c6c635c49f1af2571d1bc37d81b8c772cd
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Tue May 28 21:10:58 2013 -0400

    overviewControls: Don't push window thumbs over when workspaces are invisible
    
    Make the sliding control invisible when the thumbnails box is as well.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=701167

 js/ui/overviewControls.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 33690d7..b04008d 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -1,5 +1,6 @@
 // -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
 
+const GObject = imports.gi.GObject;
 const Clutter = imports.gi.Clutter;
 const Lang = imports.lang;
 const Meta = imports.gi.Meta;
@@ -246,6 +247,7 @@ const ThumbnailsSlider = new Lang.Class({
 
         Main.layoutManager.connect('monitors-changed', Lang.bind(this, this.updateSlide));
         this.actor.connect('notify::hover', Lang.bind(this, this.updateSlide));
+        this._thumbnailsBox.actor.bind_property('visible', this.actor, 'visible', 
GObject.BindingFlags.SYNC_CREATE);
     },
 
     _getAlwaysZoomOut: function() {