With an active profile changing some settings in options sometimes does not save the settings to the profile. To reproduce:
- Have an active profile
- Open Options and change a setting included in the profile
- Save the options with "Make it so!"
- Re-open Options and check the setting
Expected: The setting is in the new state
Result in many cases: The setting is not changed