Fix default terminal line height

This commit is contained in:
Daniel Imms
2017-09-03 08:49:49 -07:00
parent 0d022d59d2
commit 993aea8350
2 changed files with 2 additions and 5 deletions
@@ -133,7 +133,7 @@ configurationRegistry.registerConfiguration({
'terminal.integrated.lineHeight': {
'description': nls.localize('terminal.integrated.lineHeight', "Controls the line height of the terminal, this number is multipled by the terminal font size to get the actual line-height in pixels."),
'type': 'number',
'default': 1.2
'default': 1
},
'terminal.integrated.enableBold': {
'type': 'boolean',
@@ -94,10 +94,7 @@ export class TerminalConfigHelper implements ITerminalConfigHelper {
if (fontSize <= 0) {
fontSize = EDITOR_FONT_DEFAULTS.fontSize;
}
let lineHeight = terminalConfig.lineHeight ? Math.max(terminalConfig.lineHeight, 1) : DEFAULT_LINE_HEIGHT;
if (!lineHeight) {
lineHeight = DEFAULT_LINE_HEIGHT;
}
const lineHeight = terminalConfig.lineHeight ? Math.max(terminalConfig.lineHeight, 1) : DEFAULT_LINE_HEIGHT;
return this._measureFont(fontFamily, fontSize, lineHeight);
}