(event: TheaterEvent)
| 124 | const queue: TheaterEvent[] = []; |
| 125 | let closed = false; |
| 126 | const push = (event: TheaterEvent) => |
| 127 | Effect.sync(() => { |
| 128 | if (!closed) { |
| 129 | // Chatting IS focusing the terminal window. |
| 130 | if (event.type !== "done") markFocus(runDir, "terminal"); |
| 131 | queue.push(event); |
| 132 | } |
| 133 | }); |
| 134 | |
| 135 | const pump = cli.session( |
| 136 | ["bun", RENDERER, options.title], |
no test coverage detected