Florian Müllner e747fcb16f windowMenu: Ping window when activating any menu action ... We do this for actions in the regular app menu, it makes sense to do the same for window menu and fallback app menu.		2014-05-27 19:49:05 +02:00
..
extensionPrefs	extensionPrefs: Skip main window when launched with a UUID	2014-05-27 18:02:25 +02:00
gdm	js: Name all the timeouts and idles	2014-04-10 21:08:16 +02:00
misc	util: Don't pass too many arguments to child_watch_add	2014-04-28 10:22:51 -04:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	windowMenu: Ping window when activating any menu action	2014-05-27 19:49:05 +02:00
js-resources.gresource.xml	Implement window menus in gnome-shell	2014-05-17 15:17:29 -04:00
Makefile.am	make NetworkManager optional	2014-02-11 18:04:44 -05:00