new: "reset to defaults" button in settings dialog.