diff options
author | Daniel Ye <danyeh@microsoft.com> | 2018-06-06 20:17:59 +0300 |
---|---|---|
committer | Rachel Macfarlane <ramacfar@microsoft.com> | 2018-06-06 20:17:59 +0300 |
commit | 6a6e02cef0f2122ee1469765b704faf5d0e0d859 (patch) | |
tree | a402641ba1c3824e0b13d975c00f4bb4c06cf305 /i18n/deu/src/vs/workbench/common/theme.i18n.json | |
parent | 2a14872b08ea5f82f427a36be6deaac926660b0e (diff) |
2018-06-06. Merged in translations from Transifex. (#51241)1.24.0
Merged in latest translation of German language.
Diffstat (limited to 'i18n/deu/src/vs/workbench/common/theme.i18n.json')
-rw-r--r-- | i18n/deu/src/vs/workbench/common/theme.i18n.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/i18n/deu/src/vs/workbench/common/theme.i18n.json b/i18n/deu/src/vs/workbench/common/theme.i18n.json index 07267a33174..7230e04365d 100644 --- a/i18n/deu/src/vs/workbench/common/theme.i18n.json +++ b/i18n/deu/src/vs/workbench/common/theme.i18n.json @@ -11,6 +11,10 @@ "tabHoverBackground": "Hintergrundfarbe der Registerkarte beim Daraufzeigen. Registerkarten sind die Container für Editoren im Editorbereich. In einer Editorgruppe können mehrere Registerkarten geöffnet werden. Mehrere Editorgruppen können vorhanden sein.", "tabUnfocusedHoverBackground": "Hintergrundfarbe für Registerkarten in einer unfokussierten Gruppe beim Daraufzeigen. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", "tabBorder": "Rahmen zum Trennen von Registerkarten. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", + "tabActiveBorder": "Rahmen am unteren Rand einer aktiven Registerkarte. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", + "tabActiveBorderTop": "Rahmen am oberen Rand einer aktiven Registerkarte. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", + "tabActiveUnfocusedBorder": "Rahmen am unteren Rand einer aktiven Registerkarte in einer unfokussierten Gruppe. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", + "tabActiveUnfocusedBorderTop": "Rahmen am oberen Rand einer aktiven Registerkarte in einer unfokussierten Gruppe. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", "tabHoverBorder": "Rahmen zum Hervorheben von Registerkarten beim Daraufzeigen. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", "tabUnfocusedHoverBorder": "Rahmen zum Hervorheben von Registerkarten in einer unfokussierten Gruppe beim Daraufzeigen. Registerkarten sind die Container für Editoren im Editor-Bereich. In einer Editor-Gruppe können mehrere Registerkarten geöffnet werden. Mehrere Editor-Gruppen sind möglich.", "tabActiveForeground": "Vordergrundfarbe der aktiven Registerkarte in einer aktiven Gruppe. Registerkarten sind die Container für Editors im Editorbereich. In einer Editorgruppe können mehrere Registerkarten geöffnet werden. Mehrere Editorgruppen können vorhanden sein.", |