Florian Müllner 59a3e393f9 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		2011-06-18 00:10:43 +02:00
..
misc	environment: put gettext stuff into global environment	2011-05-16 14:57:21 -04:00
perf	perf: Add metrics for switching to the applications view	2011-03-11 19:25:40 -05:00
ui	workspaces-display: Improve pager autohide	2011-06-18 00:10:43 +02:00
Makefile.am	Status area: add NetworkManager indicator	2011-03-16 15:59:34 +01:00