After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 768755 - Update the documentation for keyboard key repeat setting.
Update the documentation for keyboard key repeat setting.
Status: RESOLVED FIXED
Product: gnome-user-docs
Classification: Core
Component: access-guide
3.20.x
Other Linux
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
Maintainers of Gnome user documentation
Depends on:
Blocks:
 
 
Reported: 2016-07-13 04:36 UTC by Audrey Toskin
Modified: 2017-04-13 05:20 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Fix bug 768755 - update page title (1.30 KB, patch)
2017-04-12 12:26 UTC, Paul Cutler
accepted-commit_now Details | Review

Description Audrey Toskin 2016-07-13 04:36:20 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.
Comment 1 Paul Cutler 2017-04-12 12:26:25 UTC
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.
Comment 2 Paul Cutler 2017-04-12 12:29:36 UTC
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.
Comment 3 Petr Kovar 2017-04-12 12:50:26 UTC
Review of attachment 349722 [details] [review]:

LGTM, thank you!
Comment 5 Audrey Toskin 2017-04-13 05:20:38 UTC
(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.