GNOME Bugzilla – Bug 768755
Update the documentation for keyboard key repeat setting.
Last modified: 2017-04-13 05:20:38 UTC
By default, holding a key causes the keyboard input to repeat until you release the key. In GNOME 3.20, the settings that change the delay before repeating, how quickly the key repeats, and whether to repeat at all, moved from the Keyboard section of GNOME Settings to Accessibility. This seems like an odd choice to me, since it's not *just* an accessibility issue: plenty of users, like myself, simply like having the key repeats start sooner and repeat faster when holding a key. But if this is how we're going to do it, we should commit: 1. The way things are now, I feel like the Keyboard settings group should be renamed to Keyboard Shortcuts, since the *only* settings still there are about shortcuts. 2. The documentation that discusses how to shorten the delay and *increase* key repeat speed is ironically in a page called "Turn off repeated key presses". This page appears in both the online Help site <https://help.gnome.org/users/gnome-help/stable/keyboard-repeat-keys.html.en> and in the offline Yelp tool. We could probably use a better title here. Also, these Help pages still direct the user to the Keyboard settings, instead of the new Accessibility settings.
Created attachment 349722 [details] [review] Fix bug 768755 - update page title Update page title to "Manage repeated key presses" to reflect the help is more than about just disabling repeated key presses. Update introductory paragraph to add "or how quickly key presses repeat" to the last sentence.
Thanks for the bug report, this is good feedback. Regarding #1 above - this is out of scope for the docs team and should have a bug filed against gnome-control-center I've attached a patch to address the title of the page for #2 above.
Review of attachment 349722 [details] [review]: LGTM, thank you!
Committed: https://git.gnome.org/browse/gnome-user-docs/commit/?id=574f0e2cbe3e49f41aea8d5f3f8a7f922abeac78
(In reply to Paul Cutler from comment #2) > Regarding [renaming the Keyboard settings] - this is out of scope for the docs > team and should have a bug filed against gnome-control-center Oh, yes, right. Okay. Bug #781245.