MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

use InspectionToolWrapper instead of InspectionTool

Browse Source
This commit is contained in:
Alexey Kudravtsev
2013-06-17 10:35:01 +04:00
parent 6cfe53a500
commit 225afaa3bf
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInspection/ui/InspectionResultsView.java
+3 -3
View File
@@ -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;
}
}