Florian Müllner 764fbbe052 overview: Restore previous workspace switcher policy
We used to keep the workspace switcher slid out when the user made use
of workspaces. This was changed in commit 2d84975 to give more space
to window previews, but it turned out to make the switcher quite a lot
more difficult to interact with (rather than only being a question of
discoverability). So go back to the previous behavior.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/161
2018-08-14 17:34:57 +00:00
..
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:55:02 +00:00
2018-04-13 09:15:48 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00