Skip to content

feat(tui): make Ctrl+C cooperative - #1520

Merged
ctgowrie merged 1 commit into
mainfrom
codex/tui-double-ctrl-c
Aug 2, 2026
Merged

feat(tui): make Ctrl+C cooperative#1520
ctgowrie merged 1 commit into
mainfrom
codex/tui-double-ctrl-c

Commits

Commits on Aug 2, 2026