From 2817e9bca6d03787a926c6b6dd14fd4b495de6b9 Mon Sep 17 00:00:00 2001
From: sunflowerskater <sunflowerskater@tutanota.com>
Date: Sun, 18 Dec 2022 22:33:50 -0300
Subject: [PATCH] window.ui: Rename Primary Menu to Main Menu

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".
---
 data/gtk/window.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/gtk/window.ui b/data/gtk/window.ui
index 52ef319..30e1d36 100644
--- a/data/gtk/window.ui
+++ b/data/gtk/window.ui
@@ -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>