I think it's only used there and on related events:
|
this.register(this._bufferService.onScroll(event => { |
|
this._onScroll.fire({ position: this._bufferService.buffer.ydisp, source: ScrollSource.TERMINAL }); |
|
this._dirtyRowService.markRangeDirty(this._bufferService.buffer.scrollTop, this._bufferService.buffer.scrollBottom); |
|
})); |
|
this.register(this._inputHandler.onScroll(event => { |
|
this._onScroll.fire({ position: this._bufferService.buffer.ydisp, source: ScrollSource.TERMINAL }); |
|
this._dirtyRowService.markRangeDirty(this._bufferService.buffer.scrollTop, this._bufferService.buffer.scrollBottom); |
|
})); |
Encapsulating this over having a service will simplify the codebase.
