gnome-shell/js
Florian Müllner 820f689f77 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
2013-11-07 00:13:43 +01:00
..
extensionPrefs extensionPrefs: Fix opening extension preferences on startup 2013-02-28 15:37:29 +01:00
gdm gdm: clear the messages queue when the user answers a prompt 2013-06-18 11:56:33 -03:00
misc Hash: make .size() constant time 2013-07-30 18:12:25 -04:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui popupMenu: Fix removing the active menu from PopupMenuManager 2013-11-07 00:13:43 +01:00
Makefile.am Expose screencast functionality via DBus 2013-05-10 19:49:41 +02:00