From fcbfaec53ec82b095b928599ff8d11859474c956 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 21 Aug 2019 19:30:56 +0200 Subject: [PATCH] apps-menu: Adjust to mutter API change The global grab API got dropped from mutter's Clutter fork, so use the corresponding input device API instead. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/90 --- extensions/apps-menu/extension.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js index 7144f5d4..70383afe 100644 --- a/extensions/apps-menu/extension.js +++ b/extensions/apps-menu/extension.js @@ -181,10 +181,11 @@ class CategoryMenuItem extends PopupMenu.PopupBaseMenuItem { } _onMotionEvent(actor, event) { - if (!Clutter.get_pointer_grab()) { + let device = event.get_device(); + if (!device.get_grabbed_actor()) { this._oldX = -1; this._oldY = -1; - Clutter.grab_pointer(this); + device.grab(this); } this.hover = true; @@ -194,7 +195,7 @@ class CategoryMenuItem extends PopupMenu.PopupBaseMenuItem { this._oldX = -1; this._oldY = -1; this.hover = false; - Clutter.ungrab_pointer(); + device.ungrab(); let source = event.get_source(); if (source instanceof St.Widget)