{ "en": { "ui": "User Interface", "darkTheme": "Dark Theme", "coloredTabs": "Colored tabpanels", "clipped": "Show menu under the top bar", "mini": "Show icons in collapsed menu", "language": "Language", "general": "General", "appearance": "Appearance", "noAnimations": "Disable animations" }, "de": { "ui": "Benutzeroberfläche", "darkTheme": "Dunkles Design", "coloredTabs": "Tab-Panels einfärben", "clipped": "Menü an die Hauptleiste andocken", "mini": "Symbole im eingeklappten Menü anzeigen", "language": "Sprache", "general": "Allgemein", "appearance": "Aussehen", "noAnimations": "Animationen ausschalten" } }