[gnome-user-docs] gnome-help: No more 'View options' button in toolbar

[Andre Klapper <aklapper src gnome org>]

commit da09e39ecc885ffc50efeb56eebb06b25828d031
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Sep 10 17:01:16 2022 +0200

    gnome-help: No more 'View options' button in toolbar

 gnome-help/C/files-hidden.page | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)
---
diff --git a/gnome-help/C/files-hidden.page b/gnome-help/C/files-hidden.page
index 9c3f2512..1316f7b2 100644
--- a/gnome-help/C/files-hidden.page
+++ b/gnome-help/C/files-hidden.page
@@ -9,6 +9,7 @@
     <revision pkgversion="3.6.0" version="0.2" date="2012-09-29" status="review"/>
     <revision pkgversion="3.13.92" date="2014-09-20" status="candidate"/>
     <revision pkgversion="3.18" date="2015-09-28" status="candidate"/>
+    <revision pkgversion="43" date="2022-09-10" status="candidate"/>
 
     <credit type="author">
       <name>Phil Bull</name>
@@ -49,15 +50,12 @@
  <title>Show all hidden files</title>
 
   <p>If you want to see all hidden files in a folder, go to that folder and
-  either click the
-  <!-- FIXME: Get a tooltip added for "View options" -->
-  view options button in the toolbar and pick <gui>Show Hidden Files</gui>, or press
+  either press the menu button in the top-right corner of the window and select <gui style="menuitem">Show 
Hidden Files</gui>, or press
   <keyseq><key>Ctrl</key><key>H</key></keyseq>. You will see all hidden files,
   along with regular files that are not hidden.</p>
 
   <p>To hide these files again, either click the
-  <!-- FIXME: Get a tooltip added for "View options" -->
-  view options button in the toolbar and pick <gui>Show Hidden Files</gui>, or press
+  either press the menu button in the top-right corner of the window and switch off <gui 
style="menuitem">Show Hidden Files</gui>, or press
   <keyseq><key>Ctrl</key><key>H</key></keyseq> again.</p>
 
 </section>
@@ -65,18 +63,15 @@
 <section id="unhide">
  <title>Unhide a file</title>
 
-  <p>To unhide a file, go to the folder containing the hidden file and click
-  the
-  <!-- FIXME: Get a tooltip added for "View options" -->
-  view options button in the toolbar and pick <gui>Show Hidden Files</gui>.
+  <p>To unhide a file, go to the folder containing the hidden file. Press the menu button in the top-right 
corner of the window and select <gui style="menuitem">Show Hidden Files</gui>, or press
+  <keyseq><key>Ctrl</key><key>H</key></keyseq>.
   Then, find the hidden file and rename it so that it does not have a
   <file>.</file> in front of its name. For example, to unhide a file called
   <file>.example.txt</file>, you should rename it to
   <file>example.txt</file>.</p>
 
-  <p>Once you have renamed the file, you can either click the
-  <!-- FIXME: Get a tooltip added for "View options" -->
-  view options button in the toolbar and pick <gui>Show Hidden Files</gui>, or
+  <p>Once you have renamed the file, you can either press the menu button in
+  the top-right corner of the window and switch off <gui style="menuitem">Show Hidden Files</gui>, or
   press <keyseq><key>Ctrl</key><key>H</key></keyseq> to hide any other hidden
   files again.</p>