gnome-shell/js
Florian Müllner 59e868b8f5 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:12:37 +01:00
..
extensionPrefs
gdm gdm: support pre-authenticated logins from oVirt 2013-10-14 13:54:30 -04:00
misc NetworkMenu: make the settings launcher point to the right devices 2013-10-09 18:39:44 +02:00
perf
ui popupMenu: Fix removing the active menu from PopupMenuManager 2013-11-07 00:12:37 +01:00
Makefile.am gdm: support pre-authenticated logins from oVirt 2013-10-14 13:54:30 -04:00