(e3 = false)
| 850 | this._viewportElement.scrollTop !== e3 && (this._ignoreNextScrollEvent = true, this._viewportElement.scrollTop = e3), this._refreshAnimationFrame = null; |
| 851 | } |
| 852 | syncScrollArea(e3 = false) { |
| 853 | if (this._lastRecordedBufferLength !== this._bufferService.buffer.lines.length) return this._lastRecordedBufferLength = this._bufferService.buffer.lines.length, void this._refresh(e3); |
| 854 | this._lastRecordedViewportHeight === this._renderService.dimensions.css.canvas.height && this._lastScrollTop === this._activeBuffer.ydisp * this._currentRowHeight && this._renderDimensions.device.cell.height === this._currentDeviceCellHeight || this._refresh(e3); |
| 855 | } |
| 856 | _handleScroll(e3) { |
| 857 | if (this._lastScrollTop = this._viewportElement.scrollTop, !this._viewportElement.offsetParent) return; |
| 858 | if (this._ignoreNextScrollEvent) return this._ignoreNextScrollEvent = false, void this._onRequestScrollLines.fire({ amount: 0, suppressScrollEvent: true }); |
no test coverage detected