Files
gnome-shell/js/ui
Florian Müllner 6c2a82258e environment: Only disable unredirection of ongoing transitions
When a transition is set up with a delay, it may be removed before it
actually started. We won't get a ::stopped signal in that case, with
the result that we currently end up with a mismatched unredirection
disabling.

Address this by only disable unredirection once the transition has
actually started.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1788


(cherry picked from commit 38ad1d7c13)
2019-10-14 08:54:20 +00:00
..
2019-08-09 10:58:46 -03:00
2019-09-15 16:02:45 +02:00
2019-09-15 16:02:45 +02:00
2019-09-12 19:09:24 +02:00