GNOME Bugzilla – Bug 686870
Keyboard shortcut to launch help
Last modified: 2019-03-20 11:04:34 UTC
F1 is the standard shortcut key to launch the help browser. This doesn't seem to be set on a system-wide basis by default, which means that pressing F1 on a blank desktop doesn't launch the desktop help. It would be good if we could set the system-wide help shortcut to F1 by default.
Florian, can we implement that in gnome-shell's key capture?
Florian?
We could add a NO_FOCUS_WINDOW mode, then the normal key grabbing should just work.
(In reply to Florian Müllner from comment #3) > We could add a NO_FOCUS_WINDOW mode, then the normal key grabbing should > just work. That would work for me. Do you want to handle the gnome-shell side of it?
Grrr, that was a thinko on my part. Limiting the global shortcut in normal mode when no window has focus works in the sense that the action is only performed in that case. It doesn't change that the key is still grabbed globally, so the application never gets to do its own handling. So this will turn out more intrusive than originally thought :-(
See also bug 764220. If Super+F1 is good enough, we could close this bug.
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-settings-daemon/issues/192.