mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-109591 - assert: UpdateHighlightersUtil.createOrReuseHighlighterFor
This commit is contained in:
+6
-4
@@ -372,10 +372,12 @@ public class UpdateHighlightersUtil {
|
||||
markup.changeAttributesInBatch(highlighter, changeAttributes);
|
||||
}
|
||||
|
||||
boolean attributesSet = Comparing.equal(infoAttributes, highlighter.getTextAttributes());
|
||||
assert attributesSet : "Info: " + infoAttributes +
|
||||
"; colorsScheme: " + (colorsScheme == null ? "[global]" : colorsScheme.getName()) +
|
||||
"; highlighter:" + highlighter.getTextAttributes();
|
||||
if (infoAttributes != null) {
|
||||
boolean attributesSet = Comparing.equal(infoAttributes, highlighter.getTextAttributes());
|
||||
assert attributesSet : "Info: " + infoAttributes +
|
||||
"; colorsScheme: " + (colorsScheme == null ? "[global]" : colorsScheme.getName()) +
|
||||
"; highlighter:" + highlighter.getTextAttributes();
|
||||
}
|
||||
}
|
||||
|
||||
private static int getLayer(@NotNull HighlightInfo info, @NotNull SeverityRegistrar severityRegistrar) {
|
||||
|
||||
Reference in New Issue
Block a user