Pages: [1]   Go Down
Author Topic: Arduino 0017 ignoring preferences.txt?  (Read 463 times)
0 Members and 1 Guest are viewing this topic.
0
Offline Offline
Sr. Member
****
Karma: 0
Posts: 269
Fzzt! pop Bang!
View Profile
 Bigger Bigger  Smaller Smaller  Reset Reset

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

Logged

0
Offline Offline
Full Member
***
Karma: 1
Posts: 225
Arduino rocks
View Profile
 Bigger Bigger  Smaller Smaller  Reset Reset

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

0
Offline Offline
Sr. Member
****
Karma: 0
Posts: 269
Fzzt! pop Bang!
View Profile
 Bigger Bigger  Smaller Smaller  Reset Reset

Absolutely correct.  Thanks.
Logged

0
Offline Offline
Newbie
*
Karma: 0
Posts: 17
Arduino rocks
View Profile
 Bigger Bigger  Smaller Smaller  Reset Reset

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.
« Last Edit: June 26, 2010, 04:14:20 pm by GTech13 » Logged

Pages: [1]   Go Up
Jump to: