Redesign the devtools panel and trace UI - #4

Draft

roprgm wants to merge 9 commits into

mainfrom

docked-side-panel

Commits on Jul 14, 2026

Dock the panel beside the page instead of floating over it

roprgm
and
claude
committed
7e00a60

Commits on Jul 15, 2026

Polish panel UI
roprgm
committed
4a8f3de
Simplify duration display
roprgm
committed
bd0c226
Stabilize duration width
roprgm
committed
f1bb39e
Add subtle UI motion
roprgm
committed
02d3f48
Automate tagged releases
roprgm
committed
df21dc7
Use manual releases
roprgm
committed
f9b673f
Format dates fix
roprgm
committed
ca60e9d
Fix bun lock
roprgm
committed
98dfd2b