fix: load Theia diagrams at every log level and reconnect both heads - #239

Merged

martin-fleck-at merged 6 commits into

mainfrom

fix/glsp-gate-and-empty-port

Sep 30, 2026

Commits on Sep 30, 2026

fix(client-theia): retry a port command that answers without a port
martin-fleck-at
committed
b26f367
fix(client-theia): stop a port lookup once its channel closes
martin-fleck-at
committed
3db94db
fix(glsp-client-theia): load a diagram at every server log level
martin-fleck-at
committed
3054f54
feat(client-theia): report both heads' connections through one slot
martin-fleck-at
committed
2692538
feat(protocol): call a port's own connection lifecycle by default
martin-fleck-at
committed
586060e
fix(glsp-client-theia): keep GLSP's status overlay on the page
martin-fleck-at
committed
1eca963