How do I change the awful red-on-black colour scheme used in the error pane of the Arduino GUI? It's unreadable. I've looked in preferences.txt but can't find anything that looks appropriate,
Have a look in - Arduino.app/Contents/Resources/Java/lib/theme/theme.txt
It'll be something similar in Windows and Linux
You can change all of them in there as far as I can tell:)
I don't seem to be able to find theme.txt in any of the JAR files in the built executable, where does it end up?
In my case, it’s C:\Documents and Settings<userid>\My Documents\arduino-0017\lib\theme\theme.txt. Look for the file under where you installed the Arduino IDE.
Ah, found it - thanks for the pointer.