mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
rename weak warning (IDEA-64492)
This commit is contained in:
@@ -53,7 +53,7 @@ public class HighlightSeverity implements Comparable<HighlightSeverity>, JDOMExt
|
||||
public static final HighlightSeverity INFO = new HighlightSeverity("INFO", 200);
|
||||
|
||||
|
||||
public static final HighlightSeverity WEAK_WARNING = new HighlightSeverity("WEAK_WARNING", 200);
|
||||
public static final HighlightSeverity WEAK_WARNING = new HighlightSeverity("WEAK WARNING", 200);
|
||||
|
||||
/**
|
||||
* The standard severity level for warning annotations.
|
||||
|
||||
Reference in New Issue
Block a user