(cols: number, rows: number)
| 219 | } |
| 220 | |
| 221 | const pushSize = (cols: number, rows: number) => { |
| 222 | return client.pty |
| 223 | .update({ |
| 224 | ptyID: id, |
| 225 | size: { cols, rows }, |
| 226 | }) |
| 227 | .catch((err) => { |
| 228 | debugTerminal("failed to sync terminal size", err) |
| 229 | }) |
| 230 | } |
| 231 | |
| 232 | const getTerminalColors = (): TerminalColors => { |
| 233 | const mode = theme.mode() === "dark" ? "dark" : "light" |
no test coverage detected