Zulip Chat Archive

Stream: general

Topic: colored underlines

Johan Commelin (Jul 16 2020 at 08:20):

John Cremona asked during Kevin's talk whether we can make the typographic rendering of errors/warnings configurable. The red/orange squiggly underlines are hard to notice / distinguish. He would rather have a highlight.

Rob Lewis (Jul 16 2020 at 08:21):

https://stackoverflow.com/questions/40697223/how-to-change-error-styles-in-vs-code looks like a starting point.

Johan Commelin (Jul 16 2020 at 08:23):

@John Cremona :up:

Eric Wieser (Jul 16 2020 at 08:32):

This strikes me as a general feature request to open against VSCode - likely users struggling with squiggle visibility want them to be changed to highlights across all extensions, not just lean.

Johan Commelin (Jul 16 2020 at 08:34):

But it seems that the above link shows it can already be done

Johan Commelin (Jul 16 2020 at 08:34):

(Or did I read too fast?)

Rob Lewis (Jul 16 2020 at 08:35):

Yes, it sounds like with an extension you can make the errors look however you want.

Last updated: Dec 20 2023 at 11:08 UTC