- jak można zmienić i gdzie ten "brzydki czerwony kolor" na inny, żądany

- kolory, style ustawiamy w trzech miejscach.
- w katalogu domowym Arduino \lib\theme i tutaj w pliku theme.txt oraz w plikach *.png , *.svg.
- oraz w katalogu \lib\theme\syntax w pliku default.xml
- dobrze jest poszukac programu Changing-Arduino-IDe-theme-colors-master i wg jego wskazówek pozmieniać na swoje kolory.
- poniżej moja pstrokacizna.

Bez urazy ale używanie tego "IDE" to masochizm Poszukaj jakiejś alternatywy bo się zamęczysz

- ale ja tak lubię.