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.
This commit is contained in:
Automeris naranja 2023-03-05 07:25:47 -03:00
parent f80ec7db56
commit e1d81fe57b

View file

@ -105,6 +105,7 @@
<object class="GtkMenuButton" id="menu_button"> <object class="GtkMenuButton" id="menu_button">
<property name="icon-name">open-menu-symbolic</property> <property name="icon-name">open-menu-symbolic</property>
<property name="tooltip-text" translatable="yes">Main Menu</property> <property name="tooltip-text" translatable="yes">Main Menu</property>
<property name="primary">True</property>
<property name="popover"> <property name="popover">
<object class="GtkPopoverMenu"> <object class="GtkPopoverMenu">
<property name="menu-model">primary_menu</property> <property name="menu-model">primary_menu</property>
@ -132,18 +133,6 @@
</child> </child>
</object> </object>
</property> </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> </object>
</child> </child>
<child type="end"> <child type="end">