Florian Müllner 5c40307745 popupMenu: Allow setting grabHelper params for PopupMenuManager ... Currently all keybindings are disabled while some popup menu is open. However some keybindings may still be useful in some cases, so expose GrabHelper's modal params parameter to allow specifying a keybinding mode for particular menus. https://bugzilla.gnome.org/show_bug.cgi?id=698938		2013-04-26 17:32:53 +02:00
..
extensionPrefs
gdm	panel: Pass a full pathname to AnimatedIcon	2013-04-16 19:10:40 +02:00
misc	loginManager.js: Check for logind, not for systemd	2013-03-29 11:00:52 +01:00
perf
ui	popupMenu: Allow setting grabHelper params for PopupMenuManager	2013-04-26 17:32:53 +02:00
Makefile.am	Revert "Add an OSD for sticky modifiers"	2013-04-15 18:39:52 -04:00