--
You received this message because you are subscribed to the Google Groups "Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to developers+...@arduino.cc.
What about a set of themes you can select from like in Notepad++? Then people can try out different colors without having to edit their preference files and managing backups of settings files, etc.
I agree with Frank. I think this option should be enabled by default (or that it should be easy to switch to it using the Preferences).
This is an open source project, if you guys feel strongly about this, the best way to make it happen is to send a pull request.
We are currently dealing with some more pressing improvements to the IDE
M
Maybe a short guide about changing IDE colors in "Tutorials" web section could help...