Fix resetting settings to the default value
In SettingsAppOptions::write there is a test for whether something is the default value. This seems to be wrong. If you save a new value and later want to save the default value, you can't.
In SettingsAppOptions::write there is a test for whether something is the default value. This seems to be wrong. If you save a new value and later want to save the default value, you can't.