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

Fixed right margin comparison bug (spotted by contributor)

Browse Source 
GitOrigin-RevId: 77ef51439cebec612ee9ad6a5192b3dded644b89
This commit is contained in:
Rustam Vishnyakov
2019-07-25 14:05:37 +03:00
committed by intellij-monorepo-bot
parent b5e20e8892
commit aecddd76db
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/editorconfig/src/org/editorconfig/configmanagement/create/CreateEditorConfigForm.java
+1 -1
View File
@@ -119,7 +119,7 @@ public class CreateEditorConfigForm {
return langOptions.INDENT_SIZE != commonIndentOptions.INDENT_SIZE ||
langOptions.TAB_SIZE != commonIndentOptions.TAB_SIZE ||
langOptions.USE_TAB_CHARACTER != commonIndentOptions.USE_TAB_CHARACTER ||
settings.getRightMargin(checkBoxRec.myLanguage) != settings.getRightMargin(checkBoxRec.myLanguage);
settings.getRightMargin(checkBoxRec.myLanguage) != settings.getRightMargin(null);
}
return true;
}