MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

coverage: try to read from old configs if current settings not found (IDEADEV-41154)

Browse Source
This commit is contained in:
anna
2009-11-02 19:21:14 +03:00
parent fa52b930a8
commit 6ff2ff0f94
1 changed files with 17 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/execution/impl/src/com/intellij/execution/RunConfigurationExtension.java
+17 -9
View File
@@ -31,7 +31,6 @@ import com.intellij.openapi.extensions.ExtensionPointName;
import com.intellij.openapi.extensions.Extensions;
import com.intellij.openapi.options.SettingsEditor;
import com.intellij.openapi.options.SettingsEditorGroup;
import com.intellij.openapi.util.Comparing;
import com.intellij.openapi.util.InvalidDataException;
import com.intellij.openapi.util.Key;
import com.intellij.openapi.util.WriteExternalException;
@@ -40,7 +39,9 @@ import org.jdom.Element;
import org.jetbrains.annotations.Nullable;
import javax.swing.*;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.TreeMap;
public abstract class RunConfigurationExtension {
@@ -77,18 +78,25 @@ public abstract class RunConfigurationExtension {
protected abstract void readExternal(ModuleBasedConfiguration runConfiguration, Element element) throws InvalidDataException;
public static void readSettings(ModuleBasedConfiguration runConfiguration, Element parentNode) throws InvalidDataException {
List children = parentNode.getChildren("extension");
final List children = parentNode.getChildren("extension");
final Map<String, RunConfigurationExtension> extensions = new HashMap<String, RunConfigurationExtension>();
for (RunConfigurationExtension extension : Extensions.getExtensions(EP_NAME)) {
extensions.put(extension.getName(), extension);
}
boolean found = true;
ext: for (Object o : children) {
for (Object o : children) {
final Element element = (Element)o;
final String extensionName = element.getAttributeValue("name");
for (RunConfigurationExtension extension : Extensions.getExtensions(EP_NAME)) {
if (Comparing.strEqual(extensionName, extension.getName())) {
extension.readExternal(runConfiguration, element);
continue ext;
}
final RunConfigurationExtension extension = extensions.remove(extensionName);
if (extension != null) {
extension.readExternal(runConfiguration, element);
} else {
found = false;
}
found = false;
}
//try to read from old format if possible
for (RunConfigurationExtension extension : extensions.values()) {
extension.readExternal(runConfiguration, parentNode);
}
if (!found) {
runConfiguration.putCopyableUserData(RUN_EXTENSIONS, children);