gnome-shell/data
Florian Müllner c51acf7c2a panel: Add keyboard shortcut to open app menu
With the application menu now being more than a stub, it has
become a much more interesting target, so add a keyboard shortcut
to open it directly.
This should also ease some of the pain for focus-follows-mouse users.

https://bugzilla.gnome.org/show_bug.cgi?id=672909
2012-03-30 19:58:43 +02:00
..
open-search-providers search: Rename search_providers to open-search-providers 2012-02-21 23:00:53 +01:00
shaders windowManager: shade the actor, not the texture 2011-09-20 14:56:25 -04:00
theme svg: Make the OFF toggle widgets be the same width as the ON ones 2012-03-30 13:36:23 +02:00
gnome-shell-extension-prefs.desktop.in.in Revert "Fixed typo in string" 2012-02-22 18:50:36 -05:00
gnome-shell-overrides.convert gsettings: Add migration file for overrides 2012-01-10 19:40:01 +01:00
gnome-shell.desktop.in.in Don't set the autorestart hint for gnome-session 2012-03-18 02:35:14 +01:00
Makefile.am search: Add RemoteSearchProvider 2012-02-21 23:00:53 +01:00
org.gnome.shell.gschema.xml.in panel: Add keyboard shortcut to open app menu 2012-03-30 19:58:43 +02:00
org.gnome.ShellSearchProvider.xml search: Add RemoteSearchProvider 2012-02-21 23:00:53 +01:00