respect dpr/charWidth changes, more accurate base measuring

2023-07-30 13:27:28 +02:00
parent 64d04f0712
commit b358754b46
3 changed files with 14 additions and 3 deletions
@@ -233,6 +233,7 @@ export class DomRenderer extends Disposable implements IRenderer {

  public handleDevicePixelRatioChange(): void {
    this._updateDimensions();
+    this._widthCache.clear();
  }

  private _refreshRowElements(cols: number, rows: number): void {
@@ -255,6 +256,7 @@ export class DomRenderer extends Disposable implements IRenderer {

  public handleCharSizeChanged(): void {
    this._updateDimensions();
+    this._widthCache.clear();
  }

  public handleBlur(): void {