Peter Spicer
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 | |
|---|---|---|
| .. | ||
| default | 11 years ago | |
| index.php | 13 years ago | |