mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
InspectionProfileImpl: clear tools cache on project disposal.
GitOrigin-RevId: 4b736da9e2fcdf8509731d7b5630902e955745f9
This commit is contained in:
committed by
intellij-monorepo-bot
parent
2ee19c4d8a
commit
7713d706c5
@@ -501,6 +501,12 @@ public class InspectionProfileImpl extends NewInspectionProfile {
|
||||
getProfileManager().fireProfileChanged(InspectionProfileImpl.this);
|
||||
}
|
||||
}, project);
|
||||
if (project != null) {
|
||||
Disposer.register(project, () -> {
|
||||
myTools.keySet().forEach(HighlightDisplayKey::unregister);
|
||||
myTools.clear();
|
||||
});
|
||||
}
|
||||
|
||||
DFSTBuilder<String> builder = new DFSTBuilder<>(GraphGenerator.generate(new InboundSemiGraph<String>() {
|
||||
@NotNull
|
||||
|
||||
Reference in New Issue
Block a user