()
| 407 | .withBackoff(new ExponentialBackoff(1000, 6)) |
| 408 | .build(); |
| 409 | const scheduleTerminalResize = () => { |
| 410 | window.setTimeout(() => { |
| 411 | if (disposed) { |
| 412 | return; |
| 413 | } |
| 414 | |
| 415 | const dimensions = getTerminalDimensions(terminal); |
| 416 | if (!dimensions) { |
| 417 | return; |
| 418 | } |
| 419 | |
| 420 | websocket?.send( |
| 421 | encodeTerminalPayload({ |
| 422 | height: dimensions.height, |
| 423 | width: dimensions.width, |
| 424 | }), |
| 425 | ); |
| 426 | }, 0); |
| 427 | }; |
| 428 | websocket.binaryType = "arraybuffer"; |
| 429 | websocketRef.current = websocket; |
| 430 | websocket.addEventListener(WebsocketEvent.open, () => { |
no test coverage detected