mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
properties: create block for bad elements (IDEA-153384)
This commit is contained in:
+5
-1
@@ -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));
|
||||
|
||||
Reference in New Issue
Block a user