Nested holes are not highlighted properly

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

167 stars 38 forks source link

Open fredrik-bakke opened 1 year ago

fredrik-bakke commented 1 year ago

Nested holes are highlighted only from the first opening to the first closing bracket.

Example: