save_current_prefs()

Save the preferences script object stored in XPreferences into a file.

The file name can be given with set_pref_name.If set_pref_name is not called, the name of the default preferences script object will be used.