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
a368cc6
Put the sandbox where users will find it
Wess Cope
committed
c2799d4
Right-click a tab to rename it, and make the rename dialog visible
Wess Cope
committed
c097015
Document dev containers, and honour the fields that were only parsed
Wess Cope
committed
b7accbc
Version bump to 1.31.0
Wess Cope
committed
d312c27