if (LastSaveOptions != null) {
// We're remembering the whole SaveOptions object, but
// SaveOptions.getDefaultSaveOptions() is the authoritative
// reposity for sticky options. The LastSaveOptions is only
// used to remember the recent folder.
XmlDocument doc = new XmlDocument(SaveTag);
LastSaveOptions.save(doc.getRoot());
saveXmlPrefs(SaveTag, doc);
}
if (LastPrintLayout != null) {
XmlDocument doc = new XmlDocument(PrintTag);
LastPrintLayout.save(doc.getRoot());
saveXmlPrefs(PrintTag, doc);
}
if (LastExportOptions != null) {
XmlDocument doc = new XmlDocument(ExportTag);
LastExportOptions.write(doc.getRoot());
saveXmlPrefs(ExportTag, doc);
}
try {
prefs.sync();
}