From 225afaa3bf03f67d205e2f2d84e7cb17d977ab92 Mon Sep 17 00:00:00 2001 From: Alexey Kudravtsev Date: Fri, 14 Jun 2013 14:21:41 +0400 Subject: [PATCH] use InspectionToolWrapper instead of InspectionTool --- .../intellij/codeInspection/ui/InspectionResultsView.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/platform/lang-impl/src/com/intellij/codeInspection/ui/InspectionResultsView.java b/platform/lang-impl/src/com/intellij/codeInspection/ui/InspectionResultsView.java index 8629a313ee6c..bd24b56460b9 100644 --- a/platform/lang-impl/src/com/intellij/codeInspection/ui/InspectionResultsView.java +++ b/platform/lang-impl/src/com/intellij/codeInspection/ui/InspectionResultsView.java @@ -508,9 +508,9 @@ public class InspectionResultsView extends JPanel implements Disposable, Occuren final InspectionTool defaultTool = (InspectionTool)currentTools.getDefaultState().getTool(); final HighlightDisplayKey key = HighlightDisplayKey.find(defaultTool.getShortName()); for (ScopeToolState state : currentTools.getTools()) { - final InspectionTool tool = (InspectionTool)state.getTool(); - if (myProvider.checkReportedProblems(tool)) { - addTool(tool, ((InspectionProfileImpl)profile).getErrorLevel(key, state.getScope(myProject)), isGroupedBySeverity); + final InspectionToolWrapper toolWrapper = (InspectionToolWrapper)state.getTool(); + if (myProvider.checkReportedProblems(toolWrapper)) { + addTool(toolWrapper, ((InspectionProfileImpl)profile).getErrorLevel(key, state.getScope(myProject)), isGroupedBySeverity); resultsFound = true; } }