Optimized net.sourceforge.phpeclipse.xdebug.php.model.XDebugThread.getStackFrames()

[phpeclipse.git] / archive / net.sourceforge.phpeclipse.wiki / src / net / sourceforge / phpeclipse / wiki / internal / ConfigurationManager.java

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 (file)
--- 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);