[gnome-boxes/f10-opens-main-menu: 2/2] help-overlay: Add F10 (Open main menu) entry

[Felipe Borges <felipeborges src gnome org>]

commit 3116cbc1f7a5b7511dc9e9908b546f398f69b947
Author: Felipe Borges <felipeborges gnome org>
Date:   Wed Jan 22 13:10:33 2020 +0100

    help-overlay: Add F10 (Open main menu) entry
    
    Fixes #458

 data/ui/kbd-shortcuts-window.ui | 8 ++++++++
 1 file changed, 8 insertions(+)
---
diff --git a/data/ui/kbd-shortcuts-window.ui b/data/ui/kbd-shortcuts-window.ui
index f89cc0ac..7aaef229 100644
--- a/data/ui/kbd-shortcuts-window.ui
+++ b/data/ui/kbd-shortcuts-window.ui
@@ -26,6 +26,14 @@
               </object>
             </child>
 
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">1</property>
+                <property name="accelerator">F10</property>
+                <property name="title" translatable="yes" context="shortcut window">Open main menu</property>
+              </object>
+            </child>
+
             <child>
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>