mred:set-preference sets the preference symbol to value. This should be called when the users requests a change to a preference.