Paul Rowe (Dec 21 2022 at 16:16): Paul Rowe (Dec 21 2022 at 16:16):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.
Eske Nielsen (Dec 21 2022 at 16:59):It is a known issue: https://github.com/coq-community/vscoq/issues/289
Restarting VSCode or changing theme a few times usually fixes it.
Paul Rowe (Dec 21 2022 at 17:59):Got it. Thanks! I can confirm that a couple restarts fixed the issue.
Notification Bot (Dec 21 2022 at 17:59):Paul Rowe has marked this topic as resolved.
Last updated: Jun 04 2023 at 23:30 UTC