1) Added missing strings for italic, underline and strike through.

[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 034bb14..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
  **********************************************************************/
@@ -33,7 +33,7 @@ public class ConfigurationManager {
        protected List configurations;
        protected Map threads = new HashMap();
        
-       protected List monitorListeners = new ArrayList();
+       protected List configurationListeners = new ArrayList();
        
        private Preferences.IPropertyChangeListener pcl;
        protected boolean ignorePreferenceChanges = false;
@@ -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();
                                }
                        }
@@ -103,7 +103,7 @@ public class ConfigurationManager {
         * @param listener
         */
        public void addConfigurationListener(IConfigurationListener listener) {
-               monitorListeners.add(listener);
+               configurationListeners.add(listener);
        }
 
        /**
@@ -112,7 +112,7 @@ public class ConfigurationManager {
         * @param listener
         */
        public void removeConfigurationListener(IConfigurationListener listener) {
-               monitorListeners.remove(listener);
+               configurationListeners.remove(listener);
        }
        
        /**
@@ -120,18 +120,18 @@ public class ConfigurationManager {
         * @param rr
         * @param fType
         */
-       protected void fireConfigurationEvent(IConfiguration monitor, int type) {
-               Object[] obj = monitorListeners.toArray();
+       protected void fireConfigurationEvent(IConfiguration configuration, int type) {
+               Object[] obj = configurationListeners.toArray();
                
                int size = obj.length;
                for (int i = 0; i < size; i++) {
                        IConfigurationListener listener = (IConfigurationListener) obj[i];
                        if (type == ADD)
-                               listener.monitorAdded(monitor);
+                               listener.configurationAdded(configuration);
                        else if (type == CHANGE)
-                               listener.monitorChanged(monitor);
+                               listener.configurationChanged(configuration);
                        else if (type == REMOVE)
-                               listener.monitorRemoved(monitor);
+                               listener.configurationRemoved(configuration);
                }
        }
        
@@ -143,7 +143,7 @@ public class ConfigurationManager {
                
                configurations = new ArrayList();
                Preferences prefs = WikiEditorPlugin.getDefault().getPluginPreferences();
-               String xmlString = prefs.getString("configurations");
+               String xmlString = prefs.getString(WikiEditorPlugin.PREF_STRING_CONFIGURATIONS);
                if (xmlString != null && xmlString.length() > 0) {
                        try {
                                ByteArrayInputStream in = new ByteArrayInputStream(xmlString.getBytes());
@@ -153,9 +153,9 @@ public class ConfigurationManager {
                                if (children != null) {
                                        int size = children.length;
                                        for (int i = 0; i < size; i++) {
-                                               Configuration monitor = new Configuration();
-                                               monitor.load(children[i]);
-                                               configurations.add(monitor);
+                                               Configuration configuration = new ConfigurationWorkingCopy();
+                                               configuration.load(children[i]);
+                                               configurations.add(configuration);
                                        }
                                }
                        } catch (Exception e) {
@@ -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);