leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: general

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?
image.png


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll