Florian Müllner 1360747c9e dnd: Use pushModal() to grab the keyboard ... Currently we "only" grab the keyboard when starting a drag operation, which does not impede keybindings to be processed. This is at best not harmful (like workspace switching), but may have unintended effects otherwise - for instance, the hot corner is disabled, so having the corresponding keyboard shortcut still active is fairly odd (not to mention that it leaves the system in a confused state). Fix this by switching to pushModal()/popModal(), which will push a dedicated keybinding mode for us. https://bugzilla.gnome.org/show_bug.cgi?id=700877		2013-06-05 16:36:23 +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	dnd: Use pushModal() to grab the keyboard	2013-06-05 16:36:23 +02:00
Makefile.am	Expose screencast functionality via DBus	2013-05-10 19:49:41 +02:00