mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Don't bother terminating daemon if operating over file copy
This commit is contained in:
@@ -286,7 +286,7 @@ class DaemonListeners implements Disposable {
|
||||
if (project != null && project != myProject) return false;
|
||||
// cached is essential here since we do not want to create PSI file in alien project
|
||||
PsiFile psiFile = PsiDocumentManager.getInstance(project == null ? myProject : project).getCachedPsiFile(document);
|
||||
return psiFile != null;
|
||||
return psiFile != null && psiFile.getOriginalFile() == psiFile;
|
||||
}
|
||||
|
||||
public void dispose() {
|
||||
|
||||
Reference in New Issue
Block a user