[four-in-a-row] help-overlay.ui: Add unlisted Toggle menu shortcut to Keyboard Shortcuts dialog

[Arnaud B. <arnaudb src gnome org>]

commit e31abf985bd2a8788bbbbb542e409c6e4dab9137
Author: Sabri Ünal <libreajans gmail com>
Date:   Sun Feb 23 17:28:20 2020 +0300

    help-overlay.ui: Add unlisted Toggle menu shortcut to Keyboard Shortcuts dialog

 data/ui/help-overlay.ui | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)
---
diff --git a/data/ui/help-overlay.ui b/data/ui/help-overlay.ui
index 0a0331c..0cf0332 100644
--- a/data/ui/help-overlay.ui
+++ b/data/ui/help-overlay.ui
@@ -23,7 +23,7 @@
     <child>
       <object class="GtkShortcutsSection">
         <property name="visible">True</property>
-        <property name="max-height">8</property>
+        <property name="max-height">9</property>
         <child>
           <object class="GtkShortcutsGroup">
             <property name="visible">True</property>
@@ -146,6 +146,14 @@
                 <property name="accelerator">&lt;Primary&gt;q</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">True</property>
+                <!-- Translators: in the Keyboard Shortcuts window, section "Generic" -->
+                <property name="title" translatable="yes" context="shortcut window">Toggle menu</property>
+                <property name="accelerator">F10</property>
+              </object>
+            </child>
           </object>
         </child>
       </object>