banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
167 stars 38 forks source link

Optimistic syntax highlighting #143

Open uhbif19 opened 1 year ago

uhbif19 commented 1 year ago

Every time (or most of times) when load fails, syntax highlighting stops working. Could not it just not change if load is not successful?

That will also make various auto-load features (on file save or other events) possible.