message: Correctly resize terminal content in frames after the config changes
diff: @@ -453,15 +453,27 @@ export class TerminalViewer extends ViewerElement implements SupportsClipboardPa
  devicePixelRatio: terminalVisualConfig.devicePixelRatio,
  };
  + let requestResize = false;
  if (previousConfig == null) {
  this._aceRenderer.setTerminalCanvasRendererConfig(config);
  + requestResize = true;
  } else {
  - if (previousConfig.fontFamily !== terminalVisualConfig.fontFamily ||
  +
  + const fontPropertiesChanged = previousConfig.fontFamily !== terminalVisualConfig.fontFamily ||
  previousConfig.fontSizePx !== terminalVisualConfig.fontSizePx ||
  - previousConfig.devicePixelRatio !== terminalVisualConfig.devicePixelRatio ||
  + previousConfig.devicePixelRatio !== terminalVisualConfig.devicePixelRatio;
  +
  + if (fontPropertiesChanged ||
  ! this._isTerminalThemeEqual(previousConfig.terminalTheme, terminalVisualConfig.terminalTheme)) {
  this._aceRenderer.setTerminalCanvasRendererConfig(config);
  }
  + requestResize = fontPropertiesChanged;
  + }
  +
  + if (requestResize) {
  + window.queueMicrotask(() => {
  + emitResizeEvent(this);
  + });
  }
  }
  }
  