From 2a9ec8fd1d31863055bdfddc9fbc759a03d38d22 Mon Sep 17 00:00:00 2001 From: Kelvin Date: Tue, 11 Apr 2023 13:43:32 -0400 Subject: [PATCH] Re-render browser DOM style onOptionsChanged, fixes xtermjs#4474 Fixes https://github.com/xtermjs/xterm.js/issues/4474 --- src/browser/renderer/dom/DomRenderer.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/browser/renderer/dom/DomRenderer.ts b/src/browser/renderer/dom/DomRenderer.ts index fe6cba2d..d79a88e1 100644 --- a/src/browser/renderer/dom/DomRenderer.ts +++ b/src/browser/renderer/dom/DomRenderer.ts @@ -67,7 +67,10 @@ export class DomRenderer extends Disposable implements IRenderer { this.dimensions = createRenderDimensions(); this._updateDimensions(); - this.register(this._optionsService.onOptionChange(() => this._handleOptionsChanged())); + this.register(this._optionsService.onOptionChange(() => { + this._handleOptionsChanged(); + this._injectCss(themeService.colors); + })); this.register(themeService.onChangeColors(e => this._injectCss(e))); this._injectCss(themeService.colors);