Restore ggsql sessions after an extension host restart or window reload - #507

Open

juliasilge wants to merge 8 commits into

mainfrom

positron-runtime-sessions

Commits on Aug 10, 2026

Acquire the Positron API from an attributable require
juliasilge
committed
ddc9240
Look up the Positron Supervisor in one place
juliasilge
committed
716bb26
Keep a renamed session's name across a window reload
juliasilge
committed
7b98beb
Rediscover ggsql runtimes on every window open
juliasilge
committed
5f36af7
Drop the write-only session map from the runtime manager
juliasilge
committed
8f6880b
Document the Positron API contract and harden the name fallback
juliasilge
committed
c033e1a
Correct the `alwaysRediscover` typing note
juliasilge
committed
2bad01a
Update CHANGELOG
juliasilge
committed
c34b343