Le 14/10/2019 à 07:59, Julia Lawall a écrit :
> My configuration file contains:
>
> error_color = "red"
> error_color_bg = "yellow"
> error_line_color = "yellow"
>
> This would suggest that bad code would be written in red letters on a
> yellow background, but actually I get black letters on a red background,
> which is quite unreadable. Is it possible to change both the letter color
> and the background color or only the background color?
>
> I am using why3 from git, commit e4e2a2a416ff2e98f6247cdf23f068e5369e7f0e
> (September 2).
I cannot reproduce your issue, but the code looks a bit dubious. Could
you try replacing
`BACKGROUND gconfig.error_color
with
`FOREGROUND gconfig.error_color
in src/ide/why3ide.ml at line 270 and see if it makes a difference?
Best regards,
Guillaume
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
