[gnome-shell/wip/fmuellner/overview-tweaks: 2/9] overview: Don't expand workspace thumbnails by default

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

commit 7dc847faa268ad8614e3c9d79f5a253fd672416a
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jun 1 15:38:41 2017 +0200

    overview: Don't expand workspace thumbnails by default
    
    We currently expand the workspace switcher when workspaces are being
    used, that is when there are any windows on a non-active workspace.
    While this helps with the switcher's discoverability, it does eat into
    the space available for window previews. By now the component should
    be well established, so we can afford opting for space efficiency and
    only expand the switcher while the user actually interacts with it.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=783953

 js/ui/overviewControls.js |   10 ++--------
 1 files changed, 2 insertions(+), 8 deletions(-)
---
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 1f6c63b..6fe79de 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -254,18 +254,12 @@ var ThumbnailsSlider = new Lang.Class({
 
         Main.layoutManager.connect('monitors-changed', Lang.bind(this, this._updateSlide));
         this.actor.connect('notify::hover', Lang.bind(this, this._updateSlide));
-        global.window_manager.connect('switch-workspace', Lang.bind(this, this._updateSlide));
         this._thumbnailsBox.actor.bind_property('visible', this.actor, 'visible', 
GObject.BindingFlags.SYNC_CREATE);
     },
 
     _getAlwaysZoomOut: function() {
-        // Always show the pager when hover, during a drag, or if workspaces are
-        // actually used, e.g. there are windows on any non-active workspace
-        let alwaysZoomOut = this.actor.hover ||
-                            this._inDrag ||
-                            !Meta.prefs_get_dynamic_workspaces() ||
-                            global.screen.n_workspaces > 2 ||
-                            global.screen.get_active_workspace_index() != 0;
+        // Always show the pager on hover or during a drag
+        let alwaysZoomOut = this.actor.hover || this._inDrag;
 
         if (!alwaysZoomOut) {
             let monitors = Main.layoutManager.monitors;