Arduino 0017 ignoring preferences.txt?

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.