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

Provide compatibility with old OTHER_INDENT_OPTIONS section (IDEA-130601)

Browse Source
This commit is contained in:
Rustam Vishnyakov
2014-10-06 13:51:47 +04:00
parent 52138b574b
commit 929bb90059
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-api/src/com/intellij/psi/codeStyle/CommonCodeStyleSettings.java
+9 -1
View File
@@ -918,7 +918,15 @@ public class CommonCodeStyleSettings {
@Override
public void writeExternal(Element element) throws WriteExternalException {
DefaultJDOMExternalizer.writeExternal(this, element, new DifferenceFilter<IndentOptions>(this, new IndentOptions()));
DefaultJDOMExternalizer.writeExternal(this, element, new DefaultJDOMExternalizer.JDOMFilter() {
@Override
public boolean isAccept(@NotNull Field field) {
if ("KEEP_INDENTS_ON_EMPTY_LINES".equals(field.getName())) {
return KEEP_INDENTS_ON_EMPTY_LINES;
}
return true;
}
});
}
public void serialize(Element indentOptionsElement, final IndentOptions defaultOptions) {