Florian Müllner 0dab133fe5 windowManager: Activate new workspace before removing the current one ... When removing the current workspace, the active workspace is changed to the preceding one automatically before we change explicitly to the last workspace. There is no good reason to change workspaces twice in this case, we can avoid the first one just by changing to the new workspace before removing any workspaces. https://bugzilla.gnome.org/show_bug.cgi?id=709064		2014-02-19 21:17:33 +01:00
..
extensionPrefs	extensionPrefs: Fix opening extension preferences on startup	2013-02-28 15:37:29 +01:00
gdm	loginDialog: Implement cancel()	2013-11-27 14:33:03 +01:00
misc	NetworkMenu: make the settings launcher point to the right devices	2013-10-09 18:39:44 +02:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	windowManager: Activate new workspace before removing the current one	2014-02-19 21:17:33 +01:00
Makefile.am	gdm: support pre-authenticated logins from oVirt	2013-10-14 13:54:30 -04:00