Merge pull request #3313 from Tyriar/scroll_suppress
Ensure all viewport scroll events are handled by buffer
This commit is contained in:
@@ -476,7 +476,7 @@ export class Terminal extends CoreTerminal implements ITerminal {
|
||||
this._instantiationService.setService(IMouseService, this._mouseService);
|
||||
|
||||
this.viewport = this._instantiationService.createInstance(Viewport,
|
||||
(amount: number) => this.scrollLines(amount, false, ScrollSource.VIEWPORT),
|
||||
(amount: number) => this.scrollLines(amount, true, ScrollSource.VIEWPORT),
|
||||
this._viewportElement,
|
||||
this._viewportScrollArea
|
||||
);
|
||||
@@ -511,9 +511,7 @@ export class Terminal extends CoreTerminal implements ITerminal {
|
||||
this.textarea!.select();
|
||||
}));
|
||||
this.register(this._onScroll.event(ev => {
|
||||
if (ev.source !== ScrollSource.VIEWPORT) {
|
||||
this.viewport!.syncScrollArea();
|
||||
}
|
||||
this.viewport!.syncScrollArea();
|
||||
this._selectionService!.refresh();
|
||||
}));
|
||||
this.register(addDisposableDomListener(this._viewportElement, 'scroll', () => this._selectionService!.refresh()));
|
||||
|
||||
Reference in New Issue
Block a user