| 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 }); |
| 859 | const t3 = Math.round(this._lastScrollTop / this._currentRowHeight) - this._bufferService.buffer.ydisp; |
| 860 | this._onRequestScrollLines.fire({ amount: t3, suppressScrollEvent: true }); |
| 861 | } |
| 862 | _smoothScroll() { |
| 863 | if (this._isDisposed || -1 === this._smoothScrollState.origin || -1 === this._smoothScrollState.target) return; |
| 864 | const e3 = this._smoothScrollPercent(); |