[gnome-maps/wip/mlundblad/main-menu-shortcut: 4/4] help-overlay: Add F10 shortcut for main menu

[Marcus Lundblad <mlundblad src gnome org>]

commit 78f2d885869853d77e4e145cdb73fb815b7d1c16
Author: Marcus Lundblad <ml update uu se>
Date:   Fri May 29 23:18:13 2020 +0200

    help-overlay: Add F10 shortcut for main menu

 data/ui/help-overlay.ui | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/data/ui/help-overlay.ui b/data/ui/help-overlay.ui
index 6c304459..c2056092 100644
--- a/data/ui/help-overlay.ui
+++ b/data/ui/help-overlay.ui
@@ -47,6 +47,13 @@
                 <property name="accelerator">&lt;Primary&gt;Q</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">1</property>
+                <property name="title" translatable="yes" context="shortcut window">Open main menu</property>
+                <property name="accelerator">F10</property>
+              </object>
+            </child>
           </object>
         </child>
         <child>