Florian Müllner 59e868b8f5 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
2013-11-07 00:12:37 +01:00
..