Detect that the preference file may be incorrect, and offer to remove it. This isn't finished yet.

This commit is contained in:
Jack Jansen 2001-03-08 23:07:57 +00:00
parent 4c52203b51
commit 54f3bdbfe1
2 changed files with 17 additions and 2 deletions

File diff suppressed because one or more lines are too long