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

IDEA-130601 Other indent options are saved without diff filter applied (non-changed settings are saved too)

Browse Source
This commit is contained in:
Rustam Vishnyakov
2014-10-03 15:00:36 +04:00
parent 19aaf456b7
commit f394815ce9
1 changed files with 1 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
+1 -1
View File
@@ -918,7 +918,7 @@ public class CommonCodeStyleSettings {
@Override
public void writeExternal(Element element) throws WriteExternalException {
DefaultJDOMExternalizer.writeExternal(this, element);
DefaultJDOMExternalizer.writeExternal(this, element, new DifferenceFilter<IndentOptions>(this, new IndentOptions()));
}
public void serialize(Element indentOptionsElement, final IndentOptions defaultOptions) {