* Stop auto-scrolling
()
| 742 | * Stop auto-scrolling |
| 743 | */ |
| 744 | private stopAutoScroll(): void { |
| 745 | if (this.autoScrollInterval !== null) { |
| 746 | clearInterval(this.autoScrollInterval); |
| 747 | this.autoScrollInterval = null; |
| 748 | } |
| 749 | this.autoScrollDirection = 0; |
| 750 | } |
| 751 | |
| 752 | /** |
| 753 | * Convert pixel coordinates to terminal cell coordinates |
no outgoing calls
no test coverage detected