mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
(no message)
This commit is contained in:
@@ -54,7 +54,8 @@ public class AnnotationHolderImpl extends SmartList<Annotation> implements Annot
|
||||
}
|
||||
|
||||
private final Annotation createAnnotation(TextRange range, HighlightSeverity severity, String message) {
|
||||
Annotation annotation = new Annotation(range.getStartOffset(), range.getEndOffset(), severity, message, "<html><body>" + XmlUtil.escapeString(message) + "</body></html>");
|
||||
final String tooltip = message == null ? null : "<html><body>" + XmlUtil.escapeString(message) + "</body></html>";
|
||||
Annotation annotation = new Annotation(range.getStartOffset(), range.getEndOffset(), severity, message, tooltip);
|
||||
add(annotation);
|
||||
return annotation;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user