add tooltips for colored dots in settings menu

2026-08-03 09:38:15 +03:00 · 2026-05-18 13:02:20 -05:00
parent 3df3d4482c
commit e348c43977
2 changed files with 57 additions and 9 deletions
@@ -40,6 +40,11 @@
      "profilePrefix": "{{profile}} profile: {{fields}}"
    }
  },
+  "menuDot": {
+    "overrideGlobal": "This section overrides the global configuration",
+    "overrideProfile": "This section is overridden by the {{profile}} profile",
+    "unsaved": "This section has unsaved changes"
+  },
  "menu": {
    "general": "General",
    "globalConfig": "Global configuration",