search

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

Hightlighting breaks on pretty much any edit #180

Open noughtmare opened 7 months ago

noughtmare commented 7 months ago

For example the highlighting could disappear completely:

https://github.com/banacorn/agda-mode-vscode/assets/2665074/3c557b25-da2e-44f2-9008-b801c8815ec6

But often the syntax highlighting also seems to shift up one line, which is much more annoying:

https://github.com/banacorn/agda-mode-vscode/assets/2665074/9cf4f748-e42b-4a04-8085-1b7caf624bd3