fix BooleanSetting _set_value to update the widget
Fix missing double "default" tooltip
Implement resetting an option to its default value