Florian Müllner 82be010fd8 workspace: Always set state at the end of overview transition
We don't change to the zoomed out state when fading to the overview,
however we should do that after the transition in case the user
switches to the window picker.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2969
2020-07-13 17:24:43 +00:00
..
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-06-23 16:14:24 +00:00
2020-06-03 12:55:53 -03:00
2020-06-24 18:06:21 -03:00
2020-05-20 15:12:03 +02:00
2020-03-31 05:43:40 +00:00
2019-11-11 19:25:14 +00:00
2020-03-27 10:39:58 +01:00
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-07-07 12:26:58 +02:00
2020-05-20 15:12:03 +02:00