diff options
| author | Christopher Davis <christopherdavis@gnome.org> | 2023-02-08 19:23:42 -0500 |
|---|---|---|
| committer | fiaxh <fiaxh@users.noreply.github.com> | 2023-02-09 11:36:33 +0100 |
| commit | 5eab892a2412260e9eb4dec3f661ea2f8bd9171f (patch) | |
| tree | 8c37df189b5128182399e0a4e91711a7035d3ec5 | |
| parent | b19986a68513f0605dd003dad1e0759380f23835 (diff) | |
| download | dino-5eab892a2412260e9eb4dec3f661ea2f8bd9171f.tar.gz dino-5eab892a2412260e9eb4dec3f661ea2f8bd9171f.zip | |
menu_app: Rename Settings to Preferences
The standard name in GNOME applications is Preferences.
| -rw-r--r-- | main/data/menu_app.ui | 2 |
1 files changed, 1 insertions, 1 deletions
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> |