From 64e4d5df48dc77d1a219b029d66bbf62907e01e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Mon, 7 Mar 2022 12:11:06 +0100 Subject: [PATCH] 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: --- js/ui/popupMenu.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js index f9f3a3b1a..83471030e 100644 --- a/js/ui/popupMenu.js +++ b/js/ui/popupMenu.js @@ -1374,7 +1374,7 @@ var PopupMenuManager = class { return Clutter.EVENT_STOP; } } 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); if (hoveredMenu && hoveredMenu !== menu)