Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/ResourceChangeListener.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/ResourceChangeListener.java (revision 7590) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/ResourceChangeListener.java (working copy) |
@@ -411,7 +411,7 @@ |
if (!DartCore.isDartLikeFileName(file.getName())) { |
return; |
} |
- if (ignoreManager.isIgnored(file)) { |
+ if (ignoreManager.isIgnored(file) || file.getName().startsWith(".")) { |
return; |
} |
FileInputStream in; |