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

[Andre Klapper <aklapper src gnome org>]

commit 6c6c89a7e67313cefe8b792fae56d841a820130e
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 18:47:22 2020 +0100

    help: No more 'Edit' menu for command settings

 help/C/pref-login-shell.page | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/help/C/pref-login-shell.page b/help/C/pref-login-shell.page
index 5e808a89..05f665c8 100644
--- a/help/C/pref-login-shell.page
+++ b/help/C/pref-login-shell.page
@@ -5,6 +5,7 @@
   <info>
     <revision pkgversion="3.8" date="2013-03-03" status="review"/>
     <revision pkgversion="3.14" date="2014-09-08" status="review"/>
+    <revision version="0.2" pkgversion="3.34" date="2020-01-04" status="review"/>
     <link type="guide" xref="index#preferences"/>
     <link type="guide" xref="pref#profile"/>
 
@@ -73,12 +74,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">Command</gui>.</p>