[iagno: 1/2] help-overlay.ui: Add one unlisted shortcut

[Arnaud B. <arnaudb src gnome org>]

commit 024150c2e6c6601a94be5535a8f4c7fd6eb403df
Author: Sabri Ünal <libreajans gmail com>
Date:   Sun Feb 23 18:02:08 2020 +0300

    help-overlay.ui: Add one unlisted shortcut
    
    Add unlisted F10: Toggle menu shortcut

 data/ui/help-overlay.ui | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)
---
diff --git a/data/ui/help-overlay.ui b/data/ui/help-overlay.ui
index 2149980..aef180f 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>
@@ -130,6 +130,13 @@
                 <property name="accelerator">&lt;Primary&gt;q</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">True</property>
+                <property name="title" translatable="yes" context="shortcut window">Toggle menu</property>
+                <property name="accelerator">F10</property>
+              </object>
+            </child>
           </object>
         </child>
       </object>