From 9535b33b11e9ba22666f089d3e75b3f405921e36 Mon Sep 17 00:00:00 2001
From: Automeris naranja <automerisnaranja@tutanota.com>
Date: Sun, 5 Mar 2023 07:37:09 -0300
Subject: [PATCH] help_overlay: Rename "Primary Menu" to "Main Menu"

"Main Menu" is correct name.

https://developer.gnome.org/hig/patterns/controls/menus.html#primary-menus
---
 data/gtk/help_overlay.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/gtk/help_overlay.ui b/data/gtk/help_overlay.ui
index 679e10f..826d695 100644
--- a/data/gtk/help_overlay.ui
+++ b/data/gtk/help_overlay.ui
@@ -11,7 +11,7 @@
             <property name="title" translatable="yes" context="shortcut window">General Shortcuts</property>
             <child>
               <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>
               </object>
             </child>