mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ensure tools presentation are cleaned on restart
(cherry picked from commit 060ded8ee21102d13b586e7a53486a3c5353f3f0)
This commit is contained in:
+1
-1
@@ -187,7 +187,7 @@ public class GlobalInspectionContextBase extends UserDataHolderBase implements G
|
||||
public void doInspections(@NotNull final AnalysisScope scope) {
|
||||
if (!GlobalInspectionContextUtil.canRunInspections(myProject, true)) return;
|
||||
|
||||
cleanupTools();
|
||||
cleanup();
|
||||
|
||||
ApplicationManager.getApplication().invokeLater(new Runnable() {
|
||||
@Override
|
||||
|
||||
Reference in New Issue
Block a user