Feature: change color of messages

[FissoreD]

Hello,
not sure if the option already exists, but I use the light theme in vscode and
I find it difficult to read the messages (shown in yellow).
Is it possible to change this color ?

Here is a screenshot of what I'm seeing.

[4ever2]

You can overwrite the colors that the extension uses by adding the following to your settings:

"workbench.colorCustomizations": {
    "coq.warningMessage":"#ffff00"
}

The names and default values of the colors can be found here

vscoq/client/package.json

Line 633 in 34ead82

"colors": [

[FissoreD]

Oh, too good.
Thank you!

[TheoWinterhalter]

Maybe the issue should stay open if it happens with every/many light theme?

[rtetley]

I will tweak the color them. Pretty sure I can set up a dark/light thing.