Bolton Bailey (Jun 03 2022 at 19:06): 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: Apr 18 2024 at 23:01 UTC