()
| 398 | } |
| 399 | |
| 400 | flush(): string[] { |
| 401 | if (this.timeout) { |
| 402 | clearTimeout(this.timeout); |
| 403 | this.timeout = null; |
| 404 | } |
| 405 | |
| 406 | if (this.buffer.length === 0) { |
| 407 | return []; |
| 408 | } |
| 409 | |
| 410 | const sequences = [this.buffer]; |
| 411 | this.buffer = ""; |
| 412 | this.pendingKittyPrintableCodepoint = undefined; |
| 413 | return sequences; |
| 414 | } |
| 415 | |
| 416 | clear(): void { |
| 417 | if (this.timeout) { |