mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IJPL-218632 [highlighting]: don't break loop to avoid skipping error elements
GitOrigin-RevId: ac4e517768aca35067ee1a93cfd05f667e4962e1
This commit is contained in:
committed by
intellij-monorepo-bot
parent
feedbe82b4
commit
bb4d2ef793
+1
-2
@@ -168,11 +168,10 @@ public sealed class GeneralHighlightingPass extends ProgressableTextEditorHighli
|
||||
if (!newInfos.isEmpty()) {
|
||||
int size = newInfos.size(); // size == 1 most of the time
|
||||
for (int i = 0; i < size; i++) {
|
||||
myHighlights.add(newInfos.get(i));
|
||||
final HighlightInfo info = newInfos.get(i);
|
||||
myHighlights.add(info);
|
||||
if (info.getSeverity() == HighlightSeverity.ERROR) {
|
||||
myHasErrorSeverity = true;
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user