[gnome-terminal] help: No more 'Terminal' or 'Edit' menu to set the terminal size

[Andre Klapper <aklapper src gnome org>]

commit a33647fee08fdc5633c06c8971142e2cdf3430ab
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 23:39:22 2020 +0100

    help: No more 'Terminal' or 'Edit' menu to set the terminal size

 help/C/app-terminal-sizes.page | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/help/C/app-terminal-sizes.page b/help/C/app-terminal-sizes.page
index 22ca0837..25214599 100644
--- a/help/C/app-terminal-sizes.page
+++ b/help/C/app-terminal-sizes.page
@@ -4,6 +4,7 @@
 
   <info>
     <revision version="0.1" date="2013-02-25" status="candidate"/>
+    <revision version="0.2" pkgversion="3.34" date="2020-01-04" status="candidate"/>
     <link type="guide" xref="index#appearance"/>
     <link type="guide" xref="adv-keyboard-shortcuts"/>
 
@@ -42,7 +43,8 @@
   
   <steps>
     <item>
-      <p>Select <gui style="menu">Terminal</gui>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Advanced</gui>.</p>
     </item>
     <item>
       <p>Choose one of the following options:</p>
@@ -76,12 +78,12 @@
 
   <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>