add pref to change default save format on a per-user basis
Submitted by Chris Rebert
Link to original bug (#345856)
Description
Provide an option in the Preferences window that allows one to choose the default file format to save in (probably via a listbox) and changes the plugins' default_saver_priority accordingly.
Version: 1.6.x