()
| 2626 | this._handleWindowsPtyOptionChange(); |
| 2627 | } |
| 2628 | reset() { |
| 2629 | this._inputHandler.reset(), this._bufferService.reset(), this._charsetService.reset(), this.coreService.reset(), this.coreMouseService.reset(); |
| 2630 | } |
| 2631 | _handleWindowsPtyOptionChange() { |
| 2632 | let e3 = false; |
| 2633 | const t3 = this.optionsService.rawOptions.windowsPty; |