agda-mode-vscode icon indicating copy to clipboard operation
agda-mode-vscode copied to clipboard

Published 20 hours ago • verified publisher icon banacorn

Nested holes are not highlighted properly

Open fredrik-bakke opened this issue 10 months ago • 0 comments

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

Example: image

fredrik-bakke avatar Aug 24 '23 08:08 fredrik-bakke