From c45c35b65d9a29b3ba78ebcf21b7ae07288431e2 Mon Sep 17 00:00:00 2001
From: Automeris naranja <automerisnaranja@tutanota.com>
Date: Sat, 4 Mar 2023 05:12:21 -0300
Subject: [PATCH] window: Allow opening Main Menu with F10

By setting the Main Menu button as primary,
the F10 key is automatically assigned to this button.
---
 src/sysprof/sysprof-window.ui | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sysprof/sysprof-window.ui b/src/sysprof/sysprof-window.ui
index 0f0590d4..34888c48 100644
--- a/src/sysprof/sysprof-window.ui
+++ b/src/sysprof/sysprof-window.ui
@@ -19,6 +19,7 @@
               <object class="GtkMenuButton" id="menu_button">
                 <property name="tooltip-text" translatable="yes">Main Menu</property>
                 <property name="visible">true</property>
+                <property name="primary">true</property>
                 <child>
                   <object class="GtkImage">
                     <property name="icon-name">open-menu-symbolic</property>