mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 19:02:13 +07:00
(no message)
This commit is contained in:
@@ -53,7 +53,8 @@ public class HighlightInfo {
|
||||
if (severity == HighlightSeverity.WARNING) {
|
||||
return EditorColorsManager.getInstance().getGlobalScheme().getAttributes(CodeInsightColors.WARNINGS_ATTRIBUTES).getErrorStripeColor();
|
||||
}
|
||||
return getAttributesByType(type).getErrorStripeColor();
|
||||
final TextAttributes attributes = getAttributesByType(type);
|
||||
return attributes == null ? null : attributes.getErrorStripeColor();
|
||||
}
|
||||
|
||||
public static HighlightInfo createHighlightInfo(HighlightInfoType type, PsiElement element, String description) {
|
||||
|
||||
Reference in New Issue
Block a user