Shared project sandbox, dev containers, and tab renaming - #16

Merged

wess merged 5 commits into

mainfrom

Jul 27, 2026

Commits on Jul 27, 2026

Share one container between a project and its agent team
Wess Cope
committed
Put the sandbox where users will find it
Wess Cope
committed
Right-click a tab to rename it, and make the rename dialog visible
Wess Cope
committed
Document dev containers, and honour the fields that were only parsed
Wess Cope
committed
Version bump to 1.31.0
Wess Cope
committed