popupMenu: Fix removing the active menu from PopupMenuManager

Commit b42af9aa99 changed the parameter list of _closeMenu()
to account for changes in the GrabHelper ungrab mechanism, but
didn't update other callers.

https://bugzilla.gnome.org/show_bug.cgi?id=709806
This commit is contained in:
Florian Müllner 2013-11-06 23:40:22 +01:00
parent fce2930b85
commit 52b1a1b835

View File

@ -1114,7 +1114,7 @@ const PopupMenuManager = new Lang.Class({
removeMenu: function(menu) {
if (menu == this.activeMenu)
this._closeMenu(menu);
this._closeMenu(false, menu);
let position = this._findMenu(menu);
if (position == -1) // not a menu we manage