* are made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/cpl-v10.html
- *
+�*
* Contributors:
* IBM - Initial API and implementation
**********************************************************************/
if (ignorePreferenceChanges)
return;
String property = event.getProperty();
- if (property.equals("configurations")) {
+ if (property.equals(WikiEditorPlugin.PREF_STRING_CONFIGURATIONS)) {
loadConfigurations();
}
}
protected void saveConfigurations() {
try {
ignorePreferenceChanges = true;
- XMLMemento memento = XMLMemento.createWriteRoot("configurations");
+ XMLMemento memento = XMLMemento.createWriteRoot(WikiEditorPlugin.PREF_STRING_CONFIGURATIONS);
Iterator iterator = configurations.iterator();
while (iterator.hasNext()) {
String xmlString = memento.saveToString();
Preferences prefs = WikiEditorPlugin.getDefault().getPluginPreferences();
- prefs.setValue("configurations", xmlString);
+ prefs.setValue(WikiEditorPlugin.PREF_STRING_CONFIGURATIONS, xmlString);
WikiEditorPlugin.getDefault().savePluginPreferences();
} catch (Exception e) {
Trace.trace(Trace.SEVERE, "Could not save Configurations", e);