Rename "ExtensionSettings" to "BrowseSettings" (#600)

2024-02-16 19:53:00 +01:00
parent e383cc9ea8
commit 4b54b09395
5 changed files with 12 additions and 10 deletions
--- a/src/i18n/locale/en.json
+++ b/src/i18n/locale/en.json
@@ -275,8 +275,7 @@
            "title": "Extension repositories"
          }
        }
-      },
-      "title": "Extension Settings"
+      }
    },
    "state": {
      "label": {
@@ -684,6 +683,9 @@
    }
  },
  "settings": {
+    "browse": {
+      "title": "Browse settings"
+    },
    "about": {
      "server": {
        "label": {