[gnome-terminal] help: No more 'Edit' menu for shortcut settings

[Andre Klapper <aklapper src gnome org>]

commit f6909497468e272e65b1b23026d11aea60938f2d
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 17:45:44 2020 +0100

    help: No more 'Edit' menu for shortcut settings

 help/C/adv-keyboard-shortcuts.page | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)
---
diff --git a/help/C/adv-keyboard-shortcuts.page b/help/C/adv-keyboard-shortcuts.page
index 5af15713..866f3af0 100644
--- a/help/C/adv-keyboard-shortcuts.page
+++ b/help/C/adv-keyboard-shortcuts.page
@@ -5,6 +5,7 @@
 
   <info>
     <revision version="0.1" date="2013-02-17" status="candidate"/>
+    <revision version="0.2" pkgversion="3.34" date="2020-01-04" status="candidate"/>
     <link type="guide" xref="index#advanced"/>
     <link type="guide" xref="pref#global"/>
     <link type="seealso" xref="pref-keyboard-access" />
@@ -40,9 +41,11 @@
   <p>To change a keyboard shortcut:</p>
   <steps>
     <item>
-      <p>Select <guiseq><gui style="menu">Edit</gui>
-      <gui style="menuitem">Preferences</gui>
-      <gui style="tab">Shortcuts</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Preferences</gui>.</p>
+    </item>
+    <item>
+      <p>In the sidebar, select <gui>Shortcuts</gui>.</p>
     </item>
     <item>
       <p>Make sure <gui style="checkbox">Enable shortcuts</gui> is selected.</p>