[gnome-shell] popupMenu: Fix removing the active menu from PopupMenuManager

[Florian Müllner <fmuellner src gnome org>]

commit 52b1a1b835f17e17dd938cc4140fa4168c67b5bf
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Nov 6 23:40:22 2013 +0100

    popupMenu: Fix removing the active menu from PopupMenuManager
    
    Commit b42af9aa991eba5 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

 js/ui/popupMenu.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index efff7f3..4a46d2f 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -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