mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-38958 - IAE: SeverityRegistrar.getSeverity
This commit is contained in:
@@ -146,7 +146,7 @@ public class ToolsImpl implements Tools {
|
||||
final String levelName = toolElement.getAttributeValue(LEVEL_ATTRIBUTE);
|
||||
final ProfileManager profileManager = profile.getProfileManager();
|
||||
final SeverityRegistrar registrar = ((SeverityProvider)profileManager).getOwnSeverityRegistrar();
|
||||
HighlightDisplayLevel level = HighlightDisplayLevel.find(registrar.getSeverity(levelName));
|
||||
HighlightDisplayLevel level = levelName != null ? HighlightDisplayLevel.find(registrar.getSeverity(levelName)) : null;
|
||||
if (level == null || level == HighlightDisplayLevel.DO_NOT_SHOW) {//from old profiles
|
||||
level = HighlightDisplayLevel.WARNING;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user