Stream: VsCoq devs & users

Topic: ✔ ProofView black text dark background


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Paul Rowe (Dec 21 2022 at 17:59):

Got it. Thanks! I can confirm that a couple restarts fixed the issue.

view this post on Zulip Notification Bot (Dec 21 2022 at 17:59):

Paul Rowe has marked this topic as resolved.


Last updated: Jun 23 2024 at 01:02 UTC