mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
check suppress status for reported issues (IDEA-194117)
This commit is contained in:
+3
-3
@@ -727,12 +727,12 @@ public class LocalInspectionsPass extends ProgressableTextEditorHighlightingPass
|
||||
ProgressManager.checkCanceled();
|
||||
final LocalInspectionToolWrapper wrapper = pair.getKey();
|
||||
final LocalInspectionTool tool = wrapper.getTool();
|
||||
if (host != null && myIgnoreSuppressed && SuppressionUtil.inspectionResultSuppressed(host, tool)) {
|
||||
continue;
|
||||
}
|
||||
ProblemsHolder holder = new ProblemsHolder(iManager, injectedPsi, isOnTheFly) {
|
||||
@Override
|
||||
public void registerProblem(@NotNull ProblemDescriptor descriptor) {
|
||||
if (host != null && myIgnoreSuppressed && SuppressionUtil.inspectionResultSuppressed(host, tool)) {
|
||||
return;
|
||||
}
|
||||
super.registerProblem(descriptor);
|
||||
if (isOnTheFly && inVisibleRange) {
|
||||
addDescriptorIncrementally(descriptor, wrapper, indicator);
|
||||
|
||||
Reference in New Issue
Block a user