diff options
author | Florian Müllner <fmuellner@gnome.org> | 2021-01-20 12:22:22 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2021-01-28 16:13:51 +0100 |
commit | dd2f4963d39a46eeda5825ba25af925424821ac9 (patch) | |
tree | 263372744c71d06b57490a284ffb811a91cae23f | |
parent | 9f9c26be93ee73e7ce0434d251e4af31626342f9 (diff) | |
download | mutter-dd2f4963d39a46eeda5825ba25af925424821ac9.tar.gz |
window: Do not handle ungrabbed events when unmanaging
Once we are no longer managing a window, we have no business in
dealing with it anymore, and operations like focusing, raising or
pinging the window aren't expected to work, and can go horribly
wrong if we try.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2467
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1676>
(cherry picked from commit e7b58c23b896c604b71d542b2f477523df60e637)
-rw-r--r-- | src/core/window.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core/window.c b/src/core/window.c index 2e37e9d59..1abad19a7 100644 --- a/src/core/window.c +++ b/src/core/window.c @@ -8313,6 +8313,9 @@ meta_window_handle_ungrabbed_event (MetaWindow *window, gfloat x, y; guint button; + if (window->unmanaging) + return; + if (event->type != CLUTTER_BUTTON_PRESS && event->type != CLUTTER_TOUCH_BEGIN) return; |