How do I ...

[ScottMattes]

set the font and background colors for error lines? I use a yellow background with a red font for comments.

 

[Marco Kalter]

These colors are fixed. You need to change the appearance of your comments . We'll consider an option for this for the next version.

 

[ScottMattes]

Thank you!