[gnome-terminal] help: No more 'Edit' menu to get to Preferences

[Andre Klapper <aklapper src gnome org>]

commit f88d793e04c442e800ff880a90b7d08a822a65a7
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 19:23:59 2020 +0100

    help: No more 'Edit' menu to get to Preferences

 help/C/pref-bell.page | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)
---
diff --git a/help/C/pref-bell.page b/help/C/pref-bell.page
index 81f2e820..a750be48 100644
--- a/help/C/pref-bell.page
+++ b/help/C/pref-bell.page
@@ -4,6 +4,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#preferences"/>
     <link type="guide" xref="pref#profile"/>
 
@@ -37,12 +38,12 @@
   <p>To be notified of these events:</p>
   <steps>
     <item>
-      <p>Open <guiseq><gui style="menu">Edit</gui>
-      <gui style="menuitem">Preferences</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>Your current profile is selected in the sidebar. If you wish to edit
-      a different profile, click on its name.</p>
+      <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+      section.</p>
     </item>
     <item>
       <p>Select <gui style="tab">Text</gui>.</p>
@@ -52,6 +53,11 @@
     </item>
   </steps>
 
+  <comment>
+    <p>TODO: Ctrl+G shortcut seems to do nothing in 3.34? When to press and where?
+    Preferences dialog? Before or after enabling the setting?
+    Or in the terminal window itself?</p>
+  </comment>
   <note style="tip">
     <p>To preview the bell sound that your system produces, press
     <keyseq><key>Ctrl</key><key>G</key></keyseq>.</p>