Consider letterSpacing for dom renderer width calculation

Fixes #84868
This commit is contained in:
Daniel Imms
2019-11-28 09:56:48 -08:00
parent 7217efda05
commit d20be77af2

View File

@@ -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;