Ensure decorations are refreshed when origin of scroll event is buffe…

…r service Fixes #5101
xtermjs · Jul 11, 2024 · e9fd5c7 · e9fd5c7
1 parent f3bfe80
commit e9fd5c7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/browser/CoreBrowserTerminal.ts b/src/browser/CoreBrowserTerminal.ts
@@ -507,7 +507,10 @@ export class CoreBrowserTerminal extends CoreTerminal implements ITerminal {
     this.register(this.onFocus(() => this._renderService!.handleFocus()));
 
     this._viewport = this.register(this._instantiationService.createInstance(Viewport, this.element, this.screenElement));
-    this.register(this._viewport.onRequestScrollLines(e => super.scrollLines(e, false)));
+    this.register(this._viewport.onRequestScrollLines(e => {
+      super.scrollLines(e, false);
+      this.refresh(0, this.rows - 1);
+    }));
 
     this._selectionService = this.register(this._instantiationService.createInstance(SelectionService,
       this.element,