gnome-shell/js
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