Go Down

Topic: Arduino 0017 ignoring preferences.txt? (Read 701 times) previous topic - next topic


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



Jun 26, 2010, 10:50 pm Last Edit: Jun 26, 2010, 11:14 pm by GTech13 Reason: 1
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.

Go Up