settings: remember whether a setting has its default value or not
Merge pull request #4487 from Montellese/settings_defaults

settings: remember whether a setting has its default value or not