(disp: number, suppressScrollEvent?: boolean)
| 875 | } |
| 876 | |
| 877 | public scrollLines(disp: number, suppressScrollEvent?: boolean): void { |
| 878 | // All scrollLines methods need to go via the viewport in order to support smooth scroll |
| 879 | if (this._viewport) { |
| 880 | this._viewport.scrollLines(disp); |
| 881 | } else { |
| 882 | super.scrollLines(disp, suppressScrollEvent); |
| 883 | } |
| 884 | this.refresh(0, this.rows - 1); |
| 885 | } |
| 886 | |
| 887 | public scrollPages(pageCount: number): void { |
| 888 | this.scrollLines(pageCount * (this.rows - 1)); |
no test coverage detected