diff options
author | Alexandru Dima <alexdima@microsoft.com> | 2017-12-13 14:21:16 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-13 14:21:16 +0300 |
commit | 816be6780ca8bd0ab80314e11478c48c70d09383 (patch) | |
tree | 61f0e3782e0627408f4cbf806173575d660bffac /i18n/deu/src/vs/workbench/parts/terminal | |
parent | db59f5e27bdd4593e3dd06c502792652870056d5 (diff) | |
parent | f3030d379955c390bc9d1f1b8589f31484cf3e01 (diff) |
Merge pull request #40134 from Microsoft/loc/1.191.19.0
2017-12-12. Merged in translations from Transifex.
Diffstat (limited to 'i18n/deu/src/vs/workbench/parts/terminal')
-rw-r--r-- | i18n/deu/src/vs/workbench/parts/terminal/electron-browser/terminal.contribution.i18n.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/i18n/deu/src/vs/workbench/parts/terminal/electron-browser/terminal.contribution.i18n.json b/i18n/deu/src/vs/workbench/parts/terminal/electron-browser/terminal.contribution.i18n.json index aa687c62c7d..bc6dee18ad0 100644 --- a/i18n/deu/src/vs/workbench/parts/terminal/electron-browser/terminal.contribution.i18n.json +++ b/i18n/deu/src/vs/workbench/parts/terminal/electron-browser/terminal.contribution.i18n.json @@ -16,6 +16,7 @@ "terminal.integrated.rightClickCopyPaste": "Wenn dies festgelegt ist, erscheint das Kontextmenü bei einem Rechtsklick im Terminal nicht mehr. Stattdessen erfolgen die Vorgänge Kopieren, wenn eine Auswahl vorgenommen wurde, sowie Einfügen, wenn keine Auswahl vorgenommen wurde.", "terminal.integrated.fontFamily": "Steuert die Schriftartfamilie des Terminals. Der Standardwert ist \"editor.fontFamily\".", "terminal.integrated.fontSize": "Steuert den Schriftgrad des Terminals in Pixeln.", + "terminal.integrated.lineHeight": "Steuert die Zeilenhöhe für das Terminal. Dieser Wert wird mit dem Schriftgrad des Terminals multipliziert, um die tatsächliche Zeilenhöhe in Pixeln zu erhalten.", "terminal.integrated.enableBold": "Gibt an, ob Fettdruck im Terminal aktiviert wird. Dies muss durch die Terminalshell unterstützt werden.", "terminal.integrated.cursorBlinking": "Steuert, ob der Terminalcursor blinkt.", "terminal.integrated.cursorStyle": "Steuert den Stil des Terminalcursors.", |