gnome-shell/js/misc
Giovanni Campagna 60d87ef4ba Handle global keybindings in the shell
Handling global keybindings, such as volume and brightness keys
but also custom keybindings, directly in the compositor is the only way
to deal with grabs and modal operations that could be active (primarily
the overview, for which special policy was introduced in the last
commit)

https://bugzilla.gnome.org/show_bug.cgi?id=613543
2012-11-10 17:04:48 +01:00
..
config.js.in shell: Remove ContactSystem 2012-06-29 11:21:50 +02:00
extensionUtils.js extensionUtils: Don't warn about missing url 2012-10-05 20:35:07 +02:00
fileUtils.js extensionDownloader: Add update/blacklist support for extensions 2012-07-10 14:36:41 -04:00
gnomeSession.js UserMenu: show "Install Updates & Restart" when appropriate 2012-07-07 18:21:35 +02:00
history.js history: Allow events to bubble up when arrowing past the first/last item 2012-09-18 16:44:08 +02:00
jsParse.js lookingGlass: Add tab-completion 2011-11-05 13:05:11 -04:00
loginManager.js Handle global keybindings in the shell 2012-11-10 17:04:48 +01:00
modemManager.js mobile-providers: new country-specific type to gather providers 2012-11-05 22:20:08 +01:00
params.js *.js: Make emacs modelines consistent 2011-10-11 08:05:12 -04:00
util.js Main: filter keybindings when the shell is modal 2012-11-10 16:22:03 +01:00