From 0a9bb9b764b5b4ef44a887fa3d7e6008bfba945c Mon Sep 17 00:00:00 2001 From: Dmitry Batkovich Date: Tue, 19 Apr 2016 21:27:20 +0300 Subject: [PATCH] properties: create block for bad elements (IDEA-153384) --- .../lang/properties/formatting/PropertiesRootBlock.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/plugins/properties/src/com/intellij/lang/properties/formatting/PropertiesRootBlock.java b/plugins/properties/src/com/intellij/lang/properties/formatting/PropertiesRootBlock.java index 21a0ff3b4a8d..458aecaaac72 100644 --- a/plugins/properties/src/com/intellij/lang/properties/formatting/PropertiesRootBlock.java +++ b/plugins/properties/src/com/intellij/lang/properties/formatting/PropertiesRootBlock.java @@ -62,12 +62,16 @@ public class PropertiesRootBlock extends AbstractBlock { if (propertyNode.getElementType() instanceof PropertyStubElementType) { collectPropertyBlock(propertyNode, result); } - else if (PropertiesTokenTypes.END_OF_LINE_COMMENT.equals(propertyNode.getElementType())) { + else if (PropertiesTokenTypes.END_OF_LINE_COMMENT.equals(propertyNode.getElementType()) || + PropertiesTokenTypes.BAD_CHARACTER.equals(propertyNode.getElementType())) { result.add(new PropertyBlock(propertyNode, null)); } propertyNode = propertyNode.getTreeNext(); } } + else if (PropertiesTokenTypes.BAD_CHARACTER.equals(child.getElementType())) { + result.add(new PropertyBlock(child, null)); + } } if (PropertiesTokenTypes.END_OF_LINE_COMMENT.equals(child.getElementType())) { result.add(new PropertyBlock(child, null));