Related code: https://github.com/banacorn/agda-mode-vscode/blob/master/src/Highlighting.res#L87
It's very annoying to keep semantic tokens in sync with user edits manually. I decide to simply remove highlights when editing until we have a better way to update highlights as user types, or we just compromised.
Related code: https://github.com/banacorn/agda-mode-vscode/blob/master/src/Highlighting.res#L87
It's very annoying to keep semantic tokens in sync with user edits manually. I decide to simply remove highlights when editing until we have a better way to update highlights as user types, or we just compromised.