| 24 | const enableHsr = !process.argv.includes("--no-hsr"); |
| 25 | |
| 26 | function readInitialViewport() { |
| 27 | const cols = |
| 28 | typeof process.stdout.columns === "number" && Number.isFinite(process.stdout.columns) |
| 29 | ? Math.max(20, Math.floor(process.stdout.columns)) |
| 30 | : 80; |
| 31 | const rows = |
| 32 | typeof process.stdout.rows === "number" && Number.isFinite(process.stdout.rows) |
| 33 | ? Math.max(8, Math.floor(process.stdout.rows)) |
| 34 | : 24; |
| 35 | return Object.freeze({ cols, rows }); |
| 36 | } |
| 37 | |
| 38 | const initialSnippet = buildWidgetSnippet(SELF_EDIT_BANNER); |
| 39 | const initialEditor = createCodeEditorState(initialSnippet); |