From c925446723fad157769e1e3ffd9f872ba7582294 Mon Sep 17 00:00:00 2001
From: Automeris naranja <automerisnaranja@tutanota.com>
Date: Thu, 21 Sep 2023 16:43:54 -0300
Subject: [PATCH] extensions-window: Allow opening Main Menu with F10

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2653>
---
 subprojects/extensions-app/data/ui/extensions-window.ui | 1 +
 1 file changed, 1 insertion(+)

diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui
index ac682f044..a39be49ae 100644
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -25,6 +25,7 @@
                 <property name="receives-default">True</property>
                 <property name="menu-model">primary-menu</property>
                 <property name="icon-name">open-menu-symbolic</property>
+                <property name="primary">True</property>
               </object>
             </child>
             <child type="start">