diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js index 222dbe9c4..6d15261fd 100644 --- a/js/ui/popupMenu.js +++ b/js/ui/popupMenu.js @@ -1325,7 +1325,7 @@ var PopupMenuManager = class { removeMenu(menu) { if (menu == this.activeMenu) - this._closeMenu(false, menu); + this._grabHelper.ungrab({ actor: menu.actor }); let position = this._findMenu(menu); if (position == -1) // not a menu we manage