{ "en": { "darkTheme": "Dark Theme", "coloredTabs": "Colored tabpanels", "clipped": "Show menu under the top bar", "mini": "Show icons in collapsed menu" }, "de": { "darkTheme": "Dunkles Design", "coloredTabs": "Tab-Panels einfärben", "clipped": "Menü an die Hauptleiste andocken", "mini": "Symbole im eingeklappten Menü anzeigen" } }