| 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;
|
|
|