gnome-shell/js
Florian Müllner 5e7a7e31a1 messageTray: Re-enable unredirection when banner is destroyed
The intention of commit 4dc20398 was to disable unredirection while
banners are shown, but the ::done-displaying signal currently used for
re-enabling unredirection is only emitted under some circumstances, so
it's possible that unredirection is left disabled indefinitely, whoops.

Fix this by tying disabling unredirection explicitly to the lifetime
of the banner actor.

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

(cherry picked from commit e5ce3d541e)
2019-01-11 11:30:27 +00:00
..
extensionPrefs cleanup: Use Function.prototype.bind() 2018-02-21 13:55:02 +00:00
gdm gdm, util: Always allow to retry login in unlock mode 2018-07-25 20:38:58 +00:00
misc objectManager: correct other invalid index code in onNameVanished 2018-09-04 01:11:40 +02:00
perf cleanup: Use arrow notation for anonymous functions 2018-02-21 13:55:00 +00:00
portalHelper cleanup: Use Function.prototype.bind() 2018-02-21 13:55:02 +00:00
ui messageTray: Re-enable unredirection when banner is destroyed 2019-01-11 11:30:27 +00:00
js-resources.gresource.xml thunderbolt: add policy provider and indicator 2018-02-05 21:38:49 +01:00
meson.build build: Support the meson build system 2017-07-20 00:20:54 +02:00