From 238a17c6b5fd98ee581074eaf2f24022c338ed2e Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Thu, 29 Sep 2022 14:23:31 +0200
Subject: [PATCH] overview: Port to Meta.Display.is_grabbed()

The get_grab_op() method is disappearing, replaced by this
new method.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2526>
---
 js/ui/overview.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/js/ui/overview.js b/js/ui/overview.js
index dc6ca5780..34343a019 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -458,8 +458,7 @@ var Overview = class extends Signals.EventEmitter {
         if (this._shown) {
             let shouldBeModal = !this._inXdndDrag;
             if (shouldBeModal && !this._modal) {
-                if (global.display.get_grab_op() !== Meta.GrabOp.NONE &&
-                    global.display.get_grab_op() !== Meta.GrabOp.WAYLAND_POPUP) {
+                if (global.display.is_grabbed()) {
                     this.hide();
                     return false;
                 }