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
..
2013-08-31 19:53:37 +02:00
2014-02-18 23:39:33 +01:00
2013-10-11 17:32:55 +02:00