From e1d81fe57b5e9c314bee6a17ee87aa5e5c7de518 Mon Sep 17 00:00:00 2001
From: Automeris naranja <automerisnaranja@tutanota.com>
Date: Sun, 5 Mar 2023 07:25:47 -0300
Subject: [PATCH] window: Set Main Menu button as primary

By setting the Main Menu button as primary,
the F10 key is automatically assigned to this button.
Setting a shortcut with GtkShortcutController is no longer necessary.
---
 data/gtk/window.ui | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/data/gtk/window.ui b/data/gtk/window.ui
index 2d4f379..4da7142 100644
--- a/data/gtk/window.ui
+++ b/data/gtk/window.ui
@@ -105,6 +105,7 @@
               <object class="GtkMenuButton" id="menu_button">
                 <property name="icon-name">open-menu-symbolic</property>
                 <property name="tooltip-text" translatable="yes">Main Menu</property>
+                <property name="primary">True</property>
                 <property name="popover">
                   <object class="GtkPopoverMenu">
                     <property name="menu-model">primary_menu</property>
@@ -132,18 +133,6 @@
                     </child>
                   </object>
                 </property>
-                <child>
-                  <!-- Set the shortcut here since it only makes sense if the button is visible -->
-                  <object class="GtkShortcutController">
-                    <property name="scope">managed</property>
-                    <child>
-                      <object class="GtkShortcut">
-                        <property name="trigger">F10</property>
-                        <property name="action">activate</property>
-                      </object>
-                    </child>
-                  </object>
-                </child>
               </object>
             </child>
             <child type="end">