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 3713a9b..60e0b16 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 @@ -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) {