lazzexus/Loupe
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

window.ui: Rename Primary Menu to Main Menu

Browse source 
Currently, the "Main Menu" tooltip is "Primary Menu". However, HIG advises to use "Main Menu" instead:
https://developer.gnome.org/hig/patterns/feedback/tooltips.html

This commit changes the button tooltip to "Main Menu".
This commit is contained in:
sunflowerskater 2022-12-18 22:33:50 -03:00
parent ec45132a97
commit 2817e9bca6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
data/gtk/window.ui
View file

@ -93,7 +93,7 @@
<child type="end">
<object class="GtkMenuButton" id="menu_button">
<property name="icon-name">open-menu-symbolic</property>
<property name="tooltip-text" translatable="yes">Primary Menu</property>
<property name="tooltip-text" translatable="yes">Main Menu</property>
<property name="popover">
<object class="GtkPopoverMenu">
<property name="menu-model">primary_menu</property>