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

Published 20 hours ago • verified publisher icon banacorn

No syntax highlighting?

Open bzm3r opened this issue 1 year ago • 1 comments

I just installed agda-mode in VS Code, but I am not getting any syntax highlighting:

image

Why is this?

bzm3r avatar Mar 28 '23 10:03 bzm3r

The latest version v0.4.1 works fine for me. Can you still reproduce the issue?

L-TChen avatar Sep 12 '23 02:09 L-TChen