From d20be77af2fd4bf460b7c993fa32011f6f8d9081 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Thu, 28 Nov 2019 09:56:48 -0800 Subject: [PATCH] Consider letterSpacing for dom renderer width calculation Fixes #84868 --- .../workbench/contrib/terminal/browser/terminalInstance.ts | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/vs/workbench/contrib/terminal/browser/terminalInstance.ts b/src/vs/workbench/contrib/terminal/browser/terminalInstance.ts index 8668c77070a..ee28d876404 100644 --- a/src/vs/workbench/contrib/terminal/browser/terminalInstance.ts +++ b/src/vs/workbench/contrib/terminal/browser/terminalInstance.ts @@ -369,12 +369,7 @@ export class TerminalInstance extends Disposable implements ITerminalInstance { // when window.devicePixelRatio changes. const scaledWidthAvailable = dimension.width * window.devicePixelRatio; - let scaledCharWidth: number; - if (this._configHelper.config.rendererType === 'dom') { - scaledCharWidth = font.charWidth * window.devicePixelRatio; - } else { - scaledCharWidth = Math.floor(font.charWidth * window.devicePixelRatio) + font.letterSpacing; - } + const scaledCharWidth = font.charWidth * window.devicePixelRatio + font.letterSpacing; const newCols = Math.max(Math.floor(scaledWidthAvailable / scaledCharWidth), 1); const scaledHeightAvailable = dimension.height * window.devicePixelRatio;