From 5eab892a2412260e9eb4dec3f661ea2f8bd9171f Mon Sep 17 00:00:00 2001
From: Christopher Davis <christopherdavis@gnome.org>
Date: Wed, 8 Feb 2023 19:23:42 -0500
Subject: [PATCH] menu_app: Rename Settings to Preferences

The standard name in GNOME applications is Preferences.
---
 main/data/menu_app.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/data/menu_app.ui b/main/data/menu_app.ui
index 55eb9551..36cc31ad 100644
--- a/main/data/menu_app.ui
+++ b/main/data/menu_app.ui
@@ -8,7 +8,7 @@
             </item>
             <item>
                 <attribute name="action">app.settings</attribute>
-                <attribute name="label" translatable="yes">Settings</attribute>
+                <attribute name="label" translatable="yes">Preferences</attribute>
             </item>
         </section>
         <section>