#9 preferences changes not saved

[DavidP]

I can't tell if this is a bug or a feature request, but changes to the default settings in the Properties window don't seem to be saved. Very useful program, but it is wearying to have to reset everything each time the program starts up. Especially wearying (and not included in the Properties window) is the need to keep re-choosing the default font, which resets itself to the alphabetically first font on my computer with every startup. I am using the program on a Mac (OS X 10.8.2).