Closed robotboy655 closed 4 years ago
Fixes other files losing their "problems" list when opening a file without any problems.
Thanks 👍
It's been a while so I had to figure out how again, but I think the just published 0.5.0 should include your fix
Fixes other files losing their "problems" list when opening a file without any problems.