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

use getCurrentProfile

Browse Source
This commit is contained in:
Vladimir Krivosheev
2016-06-06 17:28:27 +02:00
parent 75a1634847
commit 78bcbdd421
65 changed files with 126 additions and 131 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -54,7 +54,7 @@ public class AddIgnoredRoleFix implements LocalQuickFix, LowPriorityAction {
public void applyFix(@NotNull Project project, @NotNull ProblemDescriptor descriptor) {
if (!myInspection.ignoredRoles.contains(myRole)) {
myInspection.ignoredRoles.add(myRole);
final InspectionProfile profile = InspectionProjectProfileManager.getInstance(project).getInspectionProfile();
final InspectionProfile profile = InspectionProjectProfileManager.getInstance(project).getCurrentProfile();
ApplicationProfileManager.getInstance().fireProfileChanged(profile);
}
}