arduino / Arduino

Arduino IDE 1.x
https://www.arduino.cc/en/software
Other
14.16k stars 7.02k forks source link

Colour of warning messages #10306

Open HAJM opened 4 years ago

HAJM commented 4 years ago

Would it be possible to make the colour of warning messages different from the colour of error messages? Say yellow instead of red. I often get warnings about things in third party libraries that don't prevent them from working ok, but because they look the same as errors as they flash past me on the screen, I have to scroll back and look at them. I know this is not a big problem, but if it was easy to fix in the next release, that would be nice.

feikname commented 4 years ago

Also mentioned in #7451 (different issue though, so this should remain open)

matthijskooijman said in https://github.com/arduino/Arduino/issues/7451#issuecomment-387749315 that "The problem there is that it is hard to reliably decide whether something is an error, warning, etc." since everything is printed to stderr.

I think then perhaps an alternative could be made: (i'm no expert in GGC internals this could be a bad suggestion)

This would be only for GGC cores of course, and more generic and easier to maintain than regexes at least. Perhaps regexes are actually better? https://gcc.gnu.org/onlinedocs/gcc-10.1.0/gcc/Warnings-and-Errors.html says warnings include the text warning: to distinguish them from error messages, so a regex should actually be pretty easy i think?

The heavyweight compile option could be triggered by clicking Shift+Compile or something of the sort. Maybe a preferences option also.


Or now that I think about it, since the problems is third-party library warnings maybe add preference to disable warning output for library files?

per1234 commented 4 years ago

since the problems is third-party library warnings maybe add preference to disable warning output for library files?

Related: https://github.com/arduino/arduino-cli/issues/1826