mred:save-user-preferences

   

• (mred:save-user-preferences) -> void

  (mred:save-user-preferences) saves the user's preferences to disk, potentially marshalling some of the preferences.