waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Ensure decorations are refreshed when origin of scroll event is buffer service

Browse Source 
Fixes #5101
This commit is contained in:
Daniel Imms
2024-07-11 11:48:00 -07:00
parent f3bfe80995
commit e9fd5c70ba
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/browser/CoreBrowserTerminal.ts
+4 -1
View File
@@ -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,