[gedit/wip/improve-user-docs] help: undo-redo: improve page, talk about redo

[Sébastien Wilmet <swilmet src gnome org>]

commit 36d9410541dd7717076ba7a6394fdedd3225d243
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Apr 6 18:23:04 2020 +0200

    help: undo-redo: improve page, talk about redo

 .../{gedit-undo-recent-action.page => gedit-undo-redo.page} | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)
---
diff --git a/help/C/gedit-undo-recent-action.page b/help/C/gedit-undo-redo.page
similarity index 75%
rename from help/C/gedit-undo-recent-action.page
rename to help/C/gedit-undo-redo.page
index 6e9953226..93f3c1d24 100644
--- a/help/C/gedit-undo-recent-action.page
+++ b/help/C/gedit-undo-redo.page
@@ -1,7 +1,7 @@
 <page xmlns="http://projectmallard.org/1.0/";
       xmlns:its="http://www.w3.org/2005/11/its";
       type="topic" style="task"
-      id="gedit-undo-recent-action">
+      id="gedit-undo-redo">
 
   <info>
     <link type="guide" xref="index#gedit-working-with-files"/>
@@ -28,12 +28,15 @@
     <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
   </info>
 
-  <title>Undo a recent action</title>
+  <title>Undo/redo a recent action</title>
+
+  <p>If you make a mistake while editing a document in <app>gedit</app>, you can
+  undo the change by pressing <keyseq><key>Ctrl</key><key>Z</key></keyseq>.</p>
 
-  <p>If you make a mistake while using <app>gedit</app>, you can undo it by
-  pressing <keyseq><key>Ctrl</key><key>Z</key></keyseq>.</p>
-    
   <note style="important">
     <p>You cannot undo a change after you have closed a <app>gedit</app> file.</p>
   </note>
+
+  <p>To redo the change that was undone, press
+  <keyseq><key>Ctrl</key><key>Shift</key><key>Z</key></keyseq>.</p>
 </page>