On a Linux box, 0017 starts with the default ide colors, 0016 uses the colors set in preferences.txt.
I think the color selection has been moved to lib/theme/theme.txt
Absolutely correct. Thanks.
I have not been able to get preferences.txt to ever work on the last several versions. Currently I'm using Arduino 18 on a Vista-32 machine. For starters I try to make the text bigger and Arduino doesn't seem to recognize anything has changed. I make sure the IDE is closed when editing. When I reopen preferences my changes are still there. (Still says 14 instead of 12). Do I have to do something special when I save it?
EDIT: Text size is a bad example. Just realized I can change it through the IDE but I still would like to know how to make it work.