disable font kerning

This commit is contained in:
Jörg Breitbart
2023-07-29 15:37:01 +02:00
parent d1fdaa17d6
commit 91197bd1aa
2 changed files with 3 additions and 0 deletions
+1
View File
@@ -138,6 +138,7 @@ export class DomRenderer extends Disposable implements IRenderer {
` color: ${colors.foreground.css};` +
` font-family: ${this._optionsService.rawOptions.fontFamily};` +
` font-size: ${this._optionsService.rawOptions.fontSize}px;` +
` font-kerning: none;` +
` white-space: pre` +
`}`;
styles +=
+2
View File
@@ -40,6 +40,8 @@ export class SpacingCache implements IDisposable {
this._container.style.top = '-50000px';
this._container.style.width = '50000px';
this._container.style.whiteSpace = 'pre';
// avoid undercuts in non-monospace fonts from kerning
this._container.style.fontKerning = 'none';
const regular = _document.createElement('span');