Per Tillisch

>@per1234 The error text is 100% visually distinct in that screenshot. It is below the orange bar, and has a different background color than the code. It is distinct. @jockm...

@tofrnr you just repeated your previous comment. Please only comment if you have something new to contribute to the discussion. Remember that this behavior of yours already caused another discussion...

@pacav69 in Arduino IDE 1.8.6 and newer, themes can be placed in the `theme` subfolder of the sketchbook folder. You can find the location of the sketchbook folder at **File...

I think the appropriate place to document this behavior is alongside the documentation of the `build.path` preference: https://github.com/arduino/Arduino/blob/master/build/shared/manpage.adoc#preferences I believe this is the only place the preference is officially documented....

It's not useful to report problems that occur with outdated versions of the Arduino IDE. Please always download the Hourly Build of the Arduino IDE and test with that version...

Hi @ShantySuffisance. Thanks for your report. Only maintainers can transfer issues between repositories, which I have now done. I appreciate your care for the issue being in the correct place.

>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

Fixes: - https://github.com/arduino/Arduino/issues/10326 - https://github.com/arduino/Arduino/issues/10946

>we have learned they are not all the same so you really have to pick one and stick to it. that said, if y'all want to pick one clang format...

An alternative proposal of improving on copying Serial Monitor contents to the clipboard is presented at https://github.com/arduino/arduino-ide/issues/1729