Florian Müllner 50f0fc4e23 overviewControls: Adjust heuristic for hiding workspace switcher ... The workspace switcher should be expanded when workspaces are in use. Our current implementation assumes that workspaces are used when there are windows on at least two workspaces. However workspaces are already used when moving from a non-empty workspace to an empty one (presumably with the intention to launch something on that workspace), so tweak the heuristic accordingly. https://bugzilla.gnome.org/show_bug.cgi?id=662457		2014-04-30 18:06:52 +02:00
..
extensionPrefs	Synchronize shell startup	2013-11-04 11:50:20 -05:00
gdm	js: Name all the timeouts and idles	2014-04-10 21:08:16 +02:00
misc	util: Don't pass too many arguments to child_watch_add	2014-04-28 10:22:51 -04:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	overviewControls: Adjust heuristic for hiding workspace switcher	2014-04-30 18:06:52 +02:00
js-resources.gresource.xml	Add indicator for location service being used	2014-01-28 18:39:12 +00:00
Makefile.am	make NetworkManager optional	2014-02-11 18:04:44 -05:00