help_overlay: Rename "Primary Menu" to "Main Menu"
"Main Menu" is correct name. https://developer.gnome.org/hig/patterns/controls/menus.html#primary-menus
This commit is contained in:
parent
d65bbc11f1
commit
9535b33b11
1 changed files with 1 additions and 1 deletions
|
|
@ -11,7 +11,7 @@
|
||||||
<property name="title" translatable="yes" context="shortcut window">General Shortcuts</property>
|
<property name="title" translatable="yes" context="shortcut window">General Shortcuts</property>
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkShortcutsShortcut">
|
<object class="GtkShortcutsShortcut">
|
||||||
<property name="title" translatable="yes" context="shortcut window">Show Primary Menu</property>
|
<property name="title" translatable="yes" context="shortcut window">Show Main Menu</property>
|
||||||
<property name="accelerator">F10</property>
|
<property name="accelerator">F10</property>
|
||||||
</object>
|
</object>
|
||||||
</child>
|
</child>
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue