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 671019 - The <key> element in the files-delete.page contains extra blank spaces.
The <key> element in the files-delete.page contains extra blank spaces.
Status: RESOLVED FIXED
Product: gnome-user-docs
Classification: Core
Component: gnome-help
3.3.x
Other All
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
Maintainers of Gnome user documentation
Depends on:
Blocks:
 
 
Reported: 2012-02-29 01:35 UTC by Jiro Matsuzawa
Modified: 2012-02-29 02:12 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
a patch for this bug (1.03 KB, patch)
2012-02-29 01:35 UTC, Jiro Matsuzawa 		committed Details | Review

Description Jiro Matsuzawa 2012-02-29 01:35:00 UTC 
Created attachment 208653 [details] [review]
a patch for this bug

The <key> element in the files-delete.page contains extra blank spaces.
You should remove the spaces.
I've attached a patch.

diff --git a/gnome-help/C/files-delete.page b/gnome-help/C/files-delete.page
index 51e5d6d..4aaf696 100644
--- a/gnome-help/C/files-delete.page
+++ b/gnome-help/C/files-delete.page
@@ -52,8 +52,8 @@
   <steps>
     <title>To permanently delete a file:</title>
     <item><p>Select the item you want to delete.</p></item>
-    <item><p>Press and hold the <key>Shift</key> key, then press the <key>Delete
-    </key> key on your keyboard.</p></item>
+    <item><p>Press and hold the <key>Shift</key> key, then press the 
+    <key>Delete</key> key on your keyboard.</p></item>
     <item><p>Because you cannot undo this, you will be asked to confirm that 
     you want to delete the file or folder.</p></item>
   </steps>