public void save() {
getPreferenceStore();
if (preferenceStore.needsSaving() || needsSaving) {
try {
if (defaultSet != -1) preferenceStore.setValue(KEY_DEFAULT, defaultSet > 0);
preferenceStore.save();
needsSaving = false;
} catch (IOException e) {
String message = Messages.bind(Messages.ScopeSet_errorSaving, name);
HelpUIPlugin.logError(message, e);
}
}
}
private void copy(PreferenceStore store) {
try {
File file = File.createTempFile("sset", null); // $NON-NLS-1$
FileOutputStream fos = new FileOutputStream(file);
store.save(fos, ""); // $NON-NLS-1$
fos.close();
FileInputStream fis = new FileInputStream(file);
getPreferenceStore();
preferenceStore.load(fis);
// when we clone the defult set, we should
// clear the default marker
preferenceStore.setValue(KEY_DEFAULT, false);
fis.close();
} catch (IOException e) {
}
}
/** @param name The name to set. */
public void setName(String name) {
String oldFileName = getFileName(this.name);
File oldFile = new File(oldFileName);
if (oldFile.exists()) {
// store under the old name already exists
if (preferenceStore == null) {
// just rename the file
oldFile.renameTo(new File(getFileName(name)));
} else {
// remove the old file, set the new file name,
// then save to create the new file
oldFile.delete();
preferenceStore.setFilename(getFileName(name));
try {
preferenceStore.save();
} catch (IOException e) {
String message = Messages.bind(Messages.ScopeSet_errorSaving, name);
HelpUIPlugin.logError(message, e);
}
}
}
this.name = name;
}