From c966c4090e814d9b95c408a5b34d77abfafe0483 Mon Sep 17 00:00:00 2001 From: Leleat Date: Sun, 7 Apr 2024 14:57:03 +0200 Subject: [PATCH] moveHandler: Use is_grabbed instead of get_grab_op `global.display.is_grabbed` replaced `global.display.get_grab_op` since GNOME 44. Since the current extension version only supports GNOME 45+ drop the compatibility code. --- tiling-assistant@leleat-on-github/src/extension/moveHandler.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tiling-assistant@leleat-on-github/src/extension/moveHandler.js b/tiling-assistant@leleat-on-github/src/extension/moveHandler.js index 249d38b..9951574 100644 --- a/tiling-assistant@leleat-on-github/src/extension/moveHandler.js +++ b/tiling-assistant@leleat-on-github/src/extension/moveHandler.js @@ -448,8 +448,7 @@ export default class TilingMoveHandler { // Only update the monitorNr, if the latest timer timed out. if (timerId === this._latestMonitorLockTimerId) { this._monitorNr = global.display.get_current_monitor(); - if (global.display.is_grabbed?.() || - global.display.get_grab_op?.() === grabOp) // ! + if (global.display.is_grabbed()) this._edgeTilingPreview(window, grabOp); }