popupMenu: Fix usage of GRAB_NOTIFY ClutterEventFlag

Actually the flag gjs gives us here is called
Clutter.EventFlags.FLAG_GRAB_NOTIFY, so fix that.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2231>
This commit is contained in:
Jonas Dreßler 2022-03-07 12:11:06 +01:00 committed by Marge Bot
parent e4b80117b5
commit 64e4d5df48

View File

@ -1374,7 +1374,7 @@ var PopupMenuManager = class {
return Clutter.EVENT_STOP; return Clutter.EVENT_STOP;
} }
} else if (event.type() === Clutter.EventType.ENTER && } else if (event.type() === Clutter.EventType.ENTER &&
(event.get_flags() & Clutter.EventFlags.GRAB_NOTIFY) === 0) { (event.get_flags() & Clutter.EventFlags.FLAG_GRAB_NOTIFY) === 0) {
let hoveredMenu = this._findMenuForSource(targetActor); let hoveredMenu = this._findMenuForSource(targetActor);
if (hoveredMenu && hoveredMenu !== menu) if (hoveredMenu && hoveredMenu !== menu)