Florian Müllner b588ae4e0e PopupMenuManager: Fix child menus ... Since commit c84dc6254d, popup menus are closed automatically when another menu opens (to catch the case where a menu is opened by keyboard shortcut, which wasn't handled before). However in the case of child menus, both child and parent are expected to be visible, so handle this case explicitly. https://bugzilla.gnome.org/show_bug.cgi?id=699678		2013-05-14 19:08:00 +02:00
..
extensionPrefs	extensionPrefs: Fix opening extension preferences on startup	2013-02-28 15:37:29 +01:00
gdm	modalDialog: Show spinner when working	2013-05-09 17:38:21 +02:00
misc	Hash: make .size() constant time	2013-05-12 21:06:34 +02:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	PopupMenuManager: Fix child menus	2013-05-14 19:08:00 +02:00
Makefile.am	popupMenu: Split the remote menu code into its own module	2013-05-13 18:34:26 -04:00