mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
do not suppress file-level inspections
This commit is contained in:
+5
-1
@@ -92,7 +92,7 @@ public class UpdateHighlightersUtil {
|
||||
final int group,
|
||||
@NotNull Map<TextRange, RangeMarker> ranges2markersCache) {
|
||||
ApplicationManager.getApplication().assertIsDispatchThread();
|
||||
if (info.isFileLevelAnnotation() || info.getGutterIconRenderer() != null) return;
|
||||
if (isFileLevelOrGutterAnnotation(info)) return;
|
||||
if (info.getStartOffset() < startOffset || info.getEndOffset() > endOffset) return;
|
||||
|
||||
MarkupModel markup = DocumentMarkupModel.forDocument(document, project, true);
|
||||
@@ -119,6 +119,10 @@ public class UpdateHighlightersUtil {
|
||||
}
|
||||
}
|
||||
|
||||
public static boolean isFileLevelOrGutterAnnotation(HighlightInfo info) {
|
||||
return info.isFileLevelAnnotation() || info.getGutterIconRenderer() != null;
|
||||
}
|
||||
|
||||
public static void setHighlightersToEditor(@NotNull Project project,
|
||||
@NotNull Document document,
|
||||
int startOffset,
|
||||
|
||||
Reference in New Issue
Block a user