[gnome-tetravex] help-overlay. ui: F10: Show menu entry

[Arnaud B. <arnaudb src gnome org>]

commit 4be4d938c0eb1b07736f4d7c204f30a7421104f5
Author: Sabri Ünal <libreajans gmail com>
Date:   Mon Mar 16 20:34:51 2020 +0300

    help-overlay. ui: F10: Show menu entry
    
    Add "F10: Show Menu" entry to Keyboard Shortcuts dialog.

 src/help-overlay.ui | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)
---
diff --git a/src/help-overlay.ui b/src/help-overlay.ui
index e75299c..0d098df 100644
--- a/src/help-overlay.ui
+++ b/src/help-overlay.ui
@@ -24,7 +24,7 @@
     <child>
       <object class="GtkShortcutsSection">
         <property name="visible">1</property>
-        <property name="max-height">10</property>
+        <property name="max-height">11</property>
         <child>
           <object class="GtkShortcutsGroup">
             <property name="visible">1</property>
@@ -179,6 +179,14 @@
                 <property name="title" translatable="yes" context="shortcut window">Quit</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">1</property>
+                <property name="accelerator">F10</property>
+                <!-- Translators: F10 shortcut description in the Keyboard Shortcuts dialog, section 
Generic; shows menu -->
+                <property name="title" translatable="yes" context="shortcut window">Show Menu</property>
+              </object>
+            </child>
           </object>
         </child>
         <child>