brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

workspaces-display: Improve pager autohide

Browse Source 
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
This commit is contained in:
Florian Müllner 2011-06-16 14:10:15 +02:00
parent b846354787
commit 59a3e393f9
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
js/ui/workspacesView.js
View File

@ -681,7 +681,12 @@ WorkspacesDisplay.prototype = {
}, },
_updateAlwaysZoom: function() { _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 monitors = global.get_monitors();
let primary = global.get_primary_monitor(); let primary = global.get_primary_monitor();
@ -825,6 +830,8 @@ WorkspacesDisplay.prototype = {
this.workspacesView.updateWorkspaces(oldNumWorkspaces, this.workspacesView.updateWorkspaces(oldNumWorkspaces,
newNumWorkspaces); newNumWorkspaces);
this._updateAlwaysZoom();
this._updateZoom();
}, },
_updateZoom : function() { _updateZoom : function() {