[gnome-user-docs: 1/2] Fix bug 768755 - update page title
- From: Paul Cutler <pcutler src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-user-docs: 1/2] Fix bug 768755 - update page title
- Date: Wed, 12 Apr 2017 14:06:15 +0000 (UTC)
commit 56b934db9116a83870c421041322a02bc3851f1b
Author: Paul Cutler <paul r cutler gmail com>
Date: Wed Apr 12 07:23:50 2017 -0500
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.
gnome-help/C/keyboard-repeat-keys.page | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gnome-help/C/keyboard-repeat-keys.page b/gnome-help/C/keyboard-repeat-keys.page
index 6562e28..b7fa6b9 100644
--- a/gnome-help/C/keyboard-repeat-keys.page
+++ b/gnome-help/C/keyboard-repeat-keys.page
@@ -37,13 +37,13 @@
or change the delay and speed of repeat keys.</desc>
</info>
- <title>Turn off repeated key presses</title>
+ <title>Manage repeated key presses</title>
<p>By default, when you hold down a key on your keyboard, the letter
or symbol will be repeated until you release the key. If you have
difficulty picking your finger back up quickly enough, you can
disable this feature, or change how long it takes before key presses
- start repeating.</p>
+ start repeating, or how quickly key presses repeat.</p>
<steps>
<item>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]