From e9fd5c70ba3029b6e2db9507d05d9adc61e9a98d Mon Sep 17 00:00:00 2001 From: Daniel Imms <2193314+Tyriar@users.noreply.github.com> Date: Thu, 11 Jul 2024 11:48:00 -0700 Subject: [PATCH] Ensure decorations are refreshed when origin of scroll event is buffer service Fixes #5101 --- src/browser/CoreBrowserTerminal.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/browser/CoreBrowserTerminal.ts b/src/browser/CoreBrowserTerminal.ts index 6755006a..b9329bcf 100644 --- 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,