[gnome-terminal] help: No more 'Terminal' menu for read-only

[Andre Klapper <aklapper src gnome org>]

commit f1315f0482c7e75c88623016b21263454f454897
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 14:53:51 2020 +0100

    help: No more 'Terminal' menu for read-only

 help/C/pref-user-input.page | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/help/C/pref-user-input.page b/help/C/pref-user-input.page
index 214023e2..84d09c49 100644
--- a/help/C/pref-user-input.page
+++ b/help/C/pref-user-input.page
@@ -4,6 +4,7 @@
 
   <info>
     <revision pkgversion="3.14" date="2014-10-23" status="review"/>
+    <revision version="0.2" pkgversion="3.34" date="2020-01-04" status="review"/>
     <link type="guide" xref="index#preferences"/>
 
     <credit type="author copyright">
@@ -33,8 +34,8 @@
 
   <steps>
     <item>
-      <p>Right click in the <app>Terminal</app> window or select
-      the <gui style="menu">Terminal</gui> menu.</p>
+      <p>Right click in the <app>Terminal</app> window or press the menu button
+      in the top-right corner of the window.</p>
     </item>
     <item>
       <p>Select <gui style="menuitem">Read-Only</gui> so that it is checked.</p>