()
| 889 | } |
| 890 | |
| 891 | public scrollToTop(): void { |
| 892 | this.scrollLines(-this._bufferService.buffer.ydisp); |
| 893 | } |
| 894 | |
| 895 | public scrollToBottom(disableSmoothScroll?: boolean): void { |
| 896 | if (disableSmoothScroll && this._viewport) { |
nothing calls this directly
no test coverage detected