GNOME Bugzilla – Bug 652714
improve workspace pager autohide
Last modified: 2013-01-16 16:37:35 UTC
The purpose of the workspace pager on the right hand side of the overview was to avoid exposure of the workspaces concept for people who aren't interested in managing their work that way. For people who do, however, having the workspaces hidden by default limits the purpose of the overview. Rather than introducing a way to pin the widget not to autohide or make it configurable I propose to not autohide it if there is more than one workspace with content (ie. a user has chosen to use workspaces).
Created attachment 190032 [details] [review] 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.
Comment on attachment 190032 [details] [review] workspaces-display: Improve pager autohide looks like it works although i wouldn't have guessed that "zoom" refers to whether or not the workspace picker is visible...
Attachment 190032 [details] pushed as 59a3e39 - workspaces-display: Improve pager autohide (In reply to comment #2) > (From update of attachment 190032 [details] [review]) > looks like it works although i wouldn't have guessed that "zoom" refers to > whether or not the workspace picker is visible... Yeah, it's "zoom" as in "zoom workspace to give room to the workspace picker" .... complaints should be directed to Owen/Alex ;-)
I really like the new behavior, but I'd suggest one additional tweak: if there are only two workspaces but the active one is empty, the pager should not autohide. This would handle the following case: 1) Open some applications in workspace 1. 2) Open Terminal in workspace 2 and do some work on it. 3) Close the Terminal. 4) Activate the overview mode from the now empty workspace 2 to switch to workspace 1. The pager is hidden and not visible. This would also help users that accidentally switch to a new workspace find their way back.
(In reply to comment #4) > I really like the new behavior, but I'd suggest one additional tweak: if there > are only two workspaces but the active one is empty, the pager should not > autohide. That'd need design input. Can you please file a new bug for that?