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

Merge branch 'master' of git.labs.intellij.net:idea/community

Browse Source
This commit is contained in:
Bas Leijdekkers
2011-12-15 17:22:39 +01:00
parent 03cf08a966 5f6e684f92
commit 68df24cffc
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ide/GeneralSettings.java
+7
View File
@@ -222,6 +222,8 @@ public class GeneralSettings implements NamedJDOMExternalizable, ExportableAppli
//todo use DefaultExternalizer
public void readExternal(Element parentNode) {
boolean safeWriteSettingRead = false;
List children = parentNode.getChildren(ELEMENT_OPTION);
for (final Object aChildren : children) {
Element element = (Element)aChildren;
@@ -295,6 +297,7 @@ public class GeneralSettings implements NamedJDOMExternalizable, ExportableAppli
}
if (OPTION_USE_SAFE_WRITE.equals(name) && value != null) {
myUseSafeWrite = Boolean.valueOf(value).booleanValue();
safeWriteSettingRead = true;
}
if (OPTION_CHARSET.equals(name)) {
@@ -361,6 +364,10 @@ public class GeneralSettings implements NamedJDOMExternalizable, ExportableAppli
}
}
}
if (!safeWriteSettingRead && "true".equals(System.getProperty("idea.no.safe.write"))) {
myUseSafeWrite = false;
}
}
public void writeExternal(Element parentNode) {