diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2021-01-20 12:22:22 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2021-01-28 14:47:28 +0000 |
| commit | e7b58c23b896c604b71d542b2f477523df60e637 (patch) | |
| tree | d1ef369b08559030eb8a57473467187f0ceea1a8 /src/core | |
| parent | 38d12d39fa6df23b213078dda7053b925ef0365b (diff) | |
| download | mutter-e7b58c23b896c604b71d542b2f477523df60e637.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>
Diffstat (limited to 'src/core')
| -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 07eb0cda2..83748051e 100644 --- a/src/core/window.c +++ b/src/core/window.c @@ -8360,6 +8360,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; |