()
| 414 | } |
| 415 | |
| 416 | clear(): void { |
| 417 | if (this.timeout) { |
| 418 | clearTimeout(this.timeout); |
| 419 | this.timeout = null; |
| 420 | } |
| 421 | this.buffer = ""; |
| 422 | this.pasteMode = false; |
| 423 | this.pasteBuffer = ""; |
| 424 | this.pendingKittyPrintableCodepoint = undefined; |
| 425 | } |
| 426 | |
| 427 | getBuffer(): string { |
| 428 | return this.buffer; |