MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

remove ApplicationProfileManager

Browse Source
This commit is contained in:
Vladimir Krivosheev
2016-06-07 12:36:49 +02:00
parent ff34b8cf19
commit 037be986b3
30 changed files with 98 additions and 289 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/python-rest/src/com/jetbrains/rest/quickfixes/AddIgnoredRoleFix.java
View File

@@ -20,7 +20,7 @@ import com.intellij.codeInspection.InspectionProfile;
import com.intellij.codeInspection.LocalQuickFix;
import com.intellij.codeInspection.ProblemDescriptor;
import com.intellij.openapi.project.Project;
import com.intellij.profile.ApplicationProfileManager;
import com.intellij.profile.codeInspection.InspectionProfileManager;
import com.intellij.profile.codeInspection.InspectionProjectProfileManager;
import com.jetbrains.rest.RestBundle;
import com.jetbrains.rest.inspections.RestRoleInspection;
@@ -55,7 +55,7 @@ public class AddIgnoredRoleFix implements LocalQuickFix, LowPriorityAction {
if (!myInspection.ignoredRoles.contains(myRole)) {
myInspection.ignoredRoles.add(myRole);
final InspectionProfile profile = InspectionProjectProfileManager.getInstance(project).getCurrentProfile();
ApplicationProfileManager.getInstance().fireProfileChanged(profile);
InspectionProfileManager.getInstance().fireProfileChanged(profile);
}
}
}