Add ability to rename terminals#206

Merged

dgershman merged 3 commits intomainfrom

feature/crow-203-name-terminals

Apr 24, 2026

Commits on Apr 24, 2026

Add ability to rename terminals via UI and CLI (#203)

dgershman
and
claude
committed
Merge branch 'main' into feature/crow-203-name-terminals
dgershman
authored
Address PR review: unify validation and fix focus-loss edge case

dgershman
and
claude
committed