MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

filter out project configuration files silently

Browse Source
This commit is contained in:
Sergey Simonchik
2015-09-21 14:34:15 +03:00
parent d1d88a8d20
commit 78f3b1c5b6
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/execution/DelayedDocumentWatcher.java
+4 -1
View File
@@ -26,6 +26,7 @@ import com.intellij.openapi.editor.event.DocumentEvent;
import com.intellij.openapi.fileEditor.FileDocumentManager;
import com.intellij.openapi.fileEditor.FileDocumentManagerAdapter;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.project.ProjectCoreUtil;
import com.intellij.openapi.util.Computable;
import com.intellij.openapi.util.Condition;
import com.intellij.openapi.util.Disposer;
@@ -128,7 +129,9 @@ public class DelayedDocumentWatcher {
return;
}
if (!myChangedFiles.contains(file)) {
// optimization: if possible, avoid possible expensive 'myChangedFileFilter.value(file)' call
if (ProjectCoreUtil.isProjectOrWorkspaceFile(file)) {
return;
}
if (myChangedFileFilter != null && !myChangedFileFilter.value(file)) {
return;
}