projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ec7528) | patch
inspection settings: source profile is not deleted after rename - fixed IDEA-160657
authorDmitry Batkovich <dmitry.batkovich@jetbrains.com>
Fri, 2 Sep 2016 08:56:40 +0000 (11:56 +0300)
committerDmitry Batkovich <dmitry.batkovich@jetbrains.com>
Fri, 2 Sep 2016 11:33:49 +0000 (14:33 +0300)
commitf926164bf848402b2e70e41274855bd4764354e0
treee27165793d3e68a0ded24f767ff139dcd848c6e6tree
parent6ec7528edeaa1bb610e919904b5ac6eddc057188commit | diff
inspection settings: source profile is not deleted after rename - fixed IDEA-160657
platform/lang-impl/src/com/intellij/profile/codeInspection/ui/SingleInspectionProfilePanel.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.