extensions-window: Allow opening Main Menu with F10

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2653>
2023-09-21 16:43:54 -03:00 · 2023-09-21 16:43:54 -03:00 · c925446723
commit c925446723
parent 39d2988865
1 changed files with 1 additions and 0 deletions
--- 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">