mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
obsolete method removed
This commit is contained in:
-7
@@ -22,20 +22,13 @@ package com.intellij.profile.codeInspection.ui;
|
||||
|
||||
import com.intellij.codeInspection.ex.InspectionProfileImpl;
|
||||
import com.intellij.openapi.options.ConfigurationException;
|
||||
import com.intellij.openapi.options.ShowSettingsUtil;
|
||||
import com.intellij.openapi.project.Project;
|
||||
import com.intellij.openapi.util.Comparing;
|
||||
import com.intellij.profile.codeInspection.InspectionProfileManager;
|
||||
import com.intellij.profile.codeInspection.InspectionProjectProfileManager;
|
||||
|
||||
public class ProjectInspectionToolsConfigurable extends InspectionToolsConfigurable {
|
||||
public static ProjectInspectionToolsConfigurable getInstance(Project project) {
|
||||
return ShowSettingsUtil.getInstance().findProjectConfigurable(project, ProjectInspectionToolsConfigurable.class);
|
||||
}
|
||||
|
||||
public ProjectInspectionToolsConfigurable(InspectionProfileManager profileManager, InspectionProjectProfileManager projectProfileManager) {
|
||||
super(projectProfileManager, profileManager);
|
||||
|
||||
}
|
||||
|
||||
protected InspectionProfileImpl getCurrentProfile() {
|
||||
|
||||
Reference in New Issue
Block a user