mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:10:43 +07:00
javascript linters, show global error also in batch inspection results
This commit is contained in:
@@ -72,7 +72,7 @@ public class ExternalAnnotatorInspectionVisitor extends PsiElementVisitor {
|
||||
return ProblemDescriptor.EMPTY_ARRAY;
|
||||
}
|
||||
return ReadAction.compute(() -> {
|
||||
AnnotationHolderImpl annotationHolder = new AnnotationHolderImpl(new AnnotationSession(file));
|
||||
AnnotationHolderImpl annotationHolder = new AnnotationHolderImpl(new AnnotationSession(file), true);
|
||||
annotator.apply(file, annotationResult, annotationHolder);
|
||||
return convertToProblemDescriptors(annotationHolder, manager, file);
|
||||
});
|
||||
|
||||
Reference in New Issue
Block a user