(cols: number, rows: number)
| 553 | } |
| 554 | |
| 555 | private resize(cols: number, rows: number): void { |
| 556 | const c = clamp(Math.floor(cols), 1, MAX_DIM); |
| 557 | const r = clamp(Math.floor(rows), 1, MAX_DIM); |
| 558 | this.currentCols = c; |
| 559 | this.currentRows = r; |
| 560 | try { |
| 561 | this.term.resize(c, r); |
| 562 | } catch { |
| 563 | // PTY may be dying; ignore. |
| 564 | } |
| 565 | } |
| 566 | |
| 567 | private sendControl(msg: ServerControlMessage): void { |
| 568 | const ws = this.ws; |
no test coverage detected