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	loginDialog: Use UserWidget	2013-10-30 13:19:02 -04:00
misc	Synchronize shell startup	2013-11-04 11:50:20 -05: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:09:50 +01:00
js-resources.gresource.xml	Load JS from GResource	2013-10-30 13:27:16 -04:00
Makefile.am	build: Also look for resources in $(builddir)	2013-10-30 14:00:58 -04:00