I have just installed VsCoq and it seems to work great except for the fact that the ProofView has no syntax highlighting. In fact, the text is entirely black, and one could be forgiven for not noticing it's there. Is this a known issue? Any advice for adjusting settings? As it stands, it renders VsCode an unusable solution.
It is a known issue: https://github.com/coq-community/vscoq/issues/289
Restarting VSCode or changing theme a few times usually fixes it.
Got it. Thanks! I can confirm that a couple restarts fixed the issue.
Paul Rowe has marked this topic as resolved.
Last updated: Jun 04 2023 at 23:30 UTC