Re-render browser DOM style onOptionsChanged, fixes xtermjs#4474

Fixes https://github.com/xtermjs/xterm.js/issues/4474
This commit is contained in:
Kelvin
2023-04-11 13:43:32 -04:00
committed by GitHub
parent 2fdb46919c
commit 2a9ec8fd1d
+4 -1
View File
@@ -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);