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
This commit is contained in:
Florian Müllner
2019-08-21 19:30:56 +02:00
parent 7c170e7e90
commit fcbfaec53e
+4 -3
View File
@@ -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)