Florian Müllner 820f689f77 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:13:43 +01:00
..
2013-03-29 16:15:19 +01:00
2013-02-22 09:46:30 +01:00
2013-06-18 23:01:26 +02:00
2013-04-06 11:10:30 -04:00
2011-11-11 11:15:38 -05:00
2013-03-11 10:35:42 +01:00