IDEA-314116 Grazie: Multiple spaces reported with entity

GitOrigin-RevId: 9e4ad8997de918690c115facf30382fd8bddefba
This commit is contained in:
Peter Gromov
2023-03-10 16:53:25 +00:00
committed by intellij-monorepo-bot
parent d159181bee
commit 1765c8c8f9
2 changed files with 3 additions and 1 deletions
@@ -11,6 +11,8 @@
Some widely used comparison methods (e.g. <code>String.compareTo</code>)
actually return values.
<p>Bild: &copy; Kurt</p>
<pre>
boolean allStartWith(String a, String b, String c, String d, String prefix)
</pre>
@@ -108,7 +108,7 @@ public class XmlTextExtractor extends TextExtractor {
markupIndices.add(group.size());
}
}
if (each instanceof OuterLanguageElement) {
if (each instanceof OuterLanguageElement || each instanceof XmlEntityRef) {
flushGroup(true);
unknownBefore = true;
}