fix: retain the elpi tracer context when hidden

LPCIC / elpi-lang

visual studio code extension for Elpi

MIT License

8 stars 1 forks source link

Closed rtetley closed 1 month ago

rtetley commented 1 month ago

This should stop the bug where the tracer view gets reset each time a user changes the panel

gares commented 1 month ago

CI is not happy, last run was 3 months ago, maybe a JS toolchain change

rtetley commented 1 month ago

Definitely looks like it

gares commented 1 month ago

Awesome, it works!