From aecddd76db5c51a892068fd82533f3522bd42aef Mon Sep 17 00:00:00 2001 From: Rustam Vishnyakov Date: Thu, 25 Jul 2019 13:11:42 +0300 Subject: [PATCH] Fixed right margin comparison bug (spotted by contributor) GitOrigin-RevId: 77ef51439cebec612ee9ad6a5192b3dded644b89 --- .../configmanagement/create/CreateEditorConfigForm.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/editorconfig/src/org/editorconfig/configmanagement/create/CreateEditorConfigForm.java b/plugins/editorconfig/src/org/editorconfig/configmanagement/create/CreateEditorConfigForm.java index a231f78fa77b..2b01ee5bf5a9 100644 --- a/plugins/editorconfig/src/org/editorconfig/configmanagement/create/CreateEditorConfigForm.java +++ b/plugins/editorconfig/src/org/editorconfig/configmanagement/create/CreateEditorConfigForm.java @@ -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; }