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)