| 89 | // back to passthrough before leaving split-footer mode, so pending stdout |
| 90 | // doesn't get captured into the now-dead scrollback pipeline. |
| 91 | function shutdown(renderer: CliRenderer): void { |
| 92 | if (renderer.isDestroyed) { |
| 93 | return |
| 94 | } |
| 95 | |
| 96 | if (renderer.externalOutputMode === "capture-stdout") { |
| 97 | renderer.externalOutputMode = "passthrough" |
| 98 | } |
| 99 | |
| 100 | if (renderer.screenMode === "split-footer") { |
| 101 | renderer.screenMode = "main-screen" |
| 102 | } |
| 103 | |
| 104 | if (!renderer.isDestroyed) { |
| 105 | renderer.destroy() |
| 106 | } |
| 107 | } |
| 108 | |
| 109 | function splashInfo(title: string | undefined, history: RunPrompt[]) { |
| 110 | if (title && !SessionApi.isDefaultTitle(title)) { |