Florian Müllner dd8ca02425 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:09:09 +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 06:41:07 +02:00
misc	loginManager.js: Check for logind, not for systemd	2013-03-29 11:00:52 +01: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:09:09 +02:00
Makefile.am	Expose screencast functionality via DBus	2013-05-10 19:49:41 +02:00