Go Down

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

jabber

On a Linux box, 0017 starts with the default ide colors, 0016 uses the colors set in preferences.txt.


Professor Chaos

I think the color selection has been moved to lib/theme/theme.txt

jabber


GTech13

#3
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
 


Please enter a valid email to subscribe

Confirm your email address

We need to confirm your email address.
To complete the subscription, please click the link in the email we just sent you.

Thank you for subscribing!

Arduino
via Egeo 16
Torino, 10131
Italy