Florian Müllner 9e56e668e0 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 17:32:49 +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 17:38:21 +02:00
misc	Hash: make .size() constant time	2013-05-12 21:06:34 +02: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 17:32:49 +02:00
Makefile.am	popupMenu: Split the remote menu code into its own module	2013-05-13 18:34:26 -04:00