Florian Müllner dabcd29fb6 panelMenu: Close menu when hiding the corresponding button ... A PanelMenuButton added to the top bar might not be visible at all times. If it is hidden while the corresponding menu is open, we currently don't do anything at all, e.g. the menu remains open pointing to an arbitrary location in the top bar. Instead, close the menu automatically in that case. https://bugzilla.gnome.org/show_bug.cgi?id=703540		2013-07-11 17:14:02 +02:00
..
extensionPrefs	extensionPrefs: Fix opening extension preferences on startup	2013-02-28 15:37:29 +01:00
gdm	loginDialog: don't call nonexistent setInitialKeyFocus function	2013-07-09 12:52:18 -04:00
misc	Hash: make .size() constant time	2013-05-12 21:06:34 +02:00
perf
ui	panelMenu: Close menu when hiding the corresponding button	2013-07-11 17:14:02 +02:00
Makefile.am	ui: move AnimatedIcon out of panel.js	2013-06-25 15:16:42 -04:00