(sessionId: string, terminalId: string, cols: number, rows: number)
| 214 | } |
| 215 | |
| 216 | terminalResize(sessionId: string, terminalId: string, cols: number, rows: number): void { |
| 217 | if (!this.connected || !this.ws) return; |
| 218 | this.send({ |
| 219 | type: 'terminal_resize', |
| 220 | id: this.nextId(), |
| 221 | payload: { session_id: sessionId, terminal_id: terminalId, cols, rows }, |
| 222 | }); |
| 223 | } |
| 224 | |
| 225 | terminalDetach(sessionId: string, terminalId: string): void { |
| 226 | this.terminalAttachments.delete(terminalKey(sessionId, terminalId)); |