default
|
7da77647c6
! The saving of preferences was copied/pasted from elsewhere... it doesn't work properly and can actually screw up other preferences. In addition, if we're not saving the settings (since there's not really a need to), we might as well not specify something that the code doesn't insist on.
|
11 years ago |