Topic: Lean VSCode text color
Yakov Pechersky (Mar 09 2022 at 01:50):
I seem to have had a regression in my VSCode with the lean extension. I use the Solarized Dark theme, and now lean text is faded, not like regular white text (as seen in the terminal). Does anyone know the issue or fix?
Last updated: Aug 03 2023 at 10:10 UTC