Florian Müllner 62c2dbbc9d messageTray: Disable unredirection while showing banners
We don't usually show notification banners while the monitor is in
fullscreen, but when we do - the notification is urgent - we should
actually show the banner, even if the top-most window is unredirected.
To achieve that, disable unredirection while the banner is showing.

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


(cherry picked from commit 4dc2039859fc05d8cab43478e2c66bc51b530802)
2018-11-08 12:56:42 +00: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-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