diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2022-11-18 23:57:03 +0100 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2022-12-02 21:24:28 +0100 |
| commit | a99a2fb687d709d3d0ba0bbb832e75d86c99cccc (patch) | |
| tree | afd576cde924754bdf807a91f07f6cffa0d6d0d2 | |
| parent | a42fe4e09cfa0d086f43eaf172d583ab5474be99 (diff) | |
| download | gnome-shell-a99a2fb687d709d3d0ba0bbb832e75d86c99cccc.tar.gz | |
overview: Don't block on wayland popovers
We don't allow entering the overview when there's an ongoing grab
operation, as they are generally incompatible with ClutterGrab.
The exception are wayland popups which are expected to work, and
don't conflict with ClutterGrabs.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6092
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2549>
(cherry picked from commit a4e2d708e5d1591a221e1d5ed88def6f94530655)
| -rw-r--r-- | js/ui/overview.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/js/ui/overview.js b/js/ui/overview.js index 615c6b10a..803139b69 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -448,7 +448,8 @@ var Overview = class { if (this._shown) { let shouldBeModal = !this._inXdndDrag; if (shouldBeModal && !this._modal) { - if (global.display.get_grab_op() !== Meta.GrabOp.NONE) { + if (global.display.get_grab_op() !== Meta.GrabOp.NONE && + global.display.get_grab_op() !== Meta.GrabOp.WAYLAND_POPUP) { this.hide(); return false; } |