Stream: VsCoq devs & users

Topic: Color Scheme


view this post on Zulip Bolton Bailey (Jun 03 2022 at 19:06):

I have been using VSCoq, and one thing I haven't been liking is that the color scheme for the ProofView is sometimes hard to read on my dark background. Ive notices it doesn't seem to change, even when I change my editor color scheme. Is there a way to change the color scheme for this? The grey in particular is hard to read Screen-Shot-2022-06-03-at-3.06.49-PM.png


Last updated: Jun 04 2023 at 23:30 UTC