[gnome-shell] workspaces-display: Improve pager autohide

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

commit 59a3e393f9dcae65a045617f2a63c96261ef6e1f
Author: Florian MÃllner <fmuellner gnome org>
Date:   Thu Jun 16 14:10:15 2011 +0200

    workspaces-display: Improve pager autohide
    
    The purpose of autohiding the workspace pager on the right was to
    avoid exposure of workspaces to users who are not using them.
    However, for users who do use workspaces, the behavior limits the
    purpose of the overview. To fix, always show the pager if more than
    one workspace is actively used.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=652714

 js/ui/workspacesView.js |    9 ++++++++-
 1 files changed, 8 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 9c5b595..9218a7b 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -681,7 +681,12 @@ WorkspacesDisplay.prototype = {
     },
 
     _updateAlwaysZoom: function()  {
-        this._alwaysZoomOut = false;
+        // Always show the pager if workspaces are actually used,
+        // e.g. there are windows on more than one
+        this._alwaysZoomOut = global.screen.n_workspaces > 2;
+
+        if (this._alwaysZoomOut)
+            return;
 
         let monitors = global.get_monitors();
         let primary = global.get_primary_monitor();
@@ -825,6 +830,8 @@ WorkspacesDisplay.prototype = {
 
         this.workspacesView.updateWorkspaces(oldNumWorkspaces,
                                              newNumWorkspaces);
+        this._updateAlwaysZoom();
+        this._updateZoom();
     },
 
     _updateZoom : function() {