Florian Müllner 52b1a1b835 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:09:50 +01:00
..
extensionPrefs	Synchronize shell startup	2013-11-04 11:50:20 -05:00
gdm
misc	Synchronize shell startup	2013-11-04 11:50:20 -05:00
perf
ui	popupMenu: Fix removing the active menu from PopupMenuManager	2013-11-07 00:09:50 +01:00
js-resources.gresource.xml
Makefile.am