feat(web): 7566 default port + "web" install extra/command (api aliases kept) + panel chrome-lane fix#193

Merged

KylinMountain merged 2 commits into

mainfrom

feat/workbench-web-port-width

Jul 20, 2026

Commits on Jul 20, 2026

feat(api): default port 7566 + name the install extra/command "web"
KylinMountain
committed
fix(workbench): keep ArtifactPanel header buttons out from under the global chrome pills
KylinMountain
committed