X-Git-Url: http://git.phpeclipse.com diff --git a/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/internal/ConfigurationManager.java b/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/internal/ConfigurationManager.java index 60e0b16..f73af5a 100644 --- a/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/internal/ConfigurationManager.java +++ b/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/internal/ConfigurationManager.java @@ -4,7 +4,7 @@ * 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 **********************************************************************/ @@ -54,7 +54,7 @@ public class ConfigurationManager { if (ignorePreferenceChanges) return; String property = event.getProperty(); - if (property.equals("configurations")) { + if (property.equals(WikiEditorPlugin.PREF_STRING_CONFIGURATIONS)) { loadConfigurations(); } } @@ -167,7 +167,7 @@ public class ConfigurationManager { 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()) { @@ -178,7 +178,7 @@ public class ConfigurationManager { 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);