mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
deadlock during safe delete from batch quick fix (IDEA-78213)
This commit is contained in:
+2
-2
@@ -319,7 +319,7 @@ public class EmptyMethodInspection extends GlobalJavaInspectionTool {
|
||||
public void run() {
|
||||
SafeDeleteHandler.invoke(project, PsiUtilCore.toPsiElementArray(psiElements), false);
|
||||
}
|
||||
});
|
||||
}, project.getDisposed());
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -384,7 +384,7 @@ public class EmptyMethodInspection extends GlobalJavaInspectionTool {
|
||||
public void run() {
|
||||
SafeDeleteHandler.invoke(project, PsiUtilCore.toPsiElementArray(psiElementsToIgnore), false, refreshViews);
|
||||
}
|
||||
});
|
||||
}, project.getDisposed());
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user