GNOME Bugzilla – Bug 771014
Configurable binding to gnome help
Last modified: 2019-03-20 11:36:24 UTC
Dear gnome maintainers, since my latest OS update (today), gnome help is bound to "<super>F1". I cannot disable this keybinding using the gnome-control-center. It would be useful to include this binding in the settings menu, so that users may easily change it. Thank you. Tino OS: Debian Strech Gnome: 3.21.90
I'd like to second this, <super>-F1 is part of my work flow, and while I very much understand wanting default bindings that work on people's laptops for bringing up help, it should be possible to rebind even media keys. I would be happy to spend some time coding a solution, but before I do that I would like to know if there is already design work in this direction, or if the core developers have preferences in how they would like it designed.
As far as I know, this keybinding is set by apps, not by anything configurable via Keyboard panel.
How about reverting the commit adding this change? That is, commit 147c0b262f242f96fb0b782cd180b8c6e46ffaaf At least while a better solution is not found. With current situation <super>-F1 is lost for those people already assigning this keybinding to some command.
-- 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/303.