Index: editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/ui/text/FileTextSearchScope.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/ui/text/FileTextSearchScope.java (revision 7420) |
+++ editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/ui/text/FileTextSearchScope.java (working copy) |
@@ -19,6 +19,7 @@ |
import com.google.dart.tools.search.internal.ui.SearchMessages; |
import com.google.dart.tools.search.internal.ui.WorkingSetComparator; |
import com.google.dart.tools.search.internal.ui.text.BasicElementLabels; |
+import com.google.dart.tools.search.internal.ui.text.TextSearchScopeFilter; |
import com.google.dart.tools.search.internal.ui.util.FileTypeEditor; |
import org.eclipse.core.resources.IResource; |
@@ -236,8 +237,8 @@ |
public boolean contains(File file) { |
String name = file.getName(); |
- //ignore .files (and avoid traversing into folders prefixed with a '.') |
- if (name.startsWith(".")) { |
+ |
+ if (TextSearchScopeFilter.isFiltered(file)) { |
return false; |
} |
@@ -254,8 +255,7 @@ |
return false; // all resources in a derived folder are considered to be derived, see bug 103576 |
} |
- //ignore .files (and avoid traversing into folders prefixed with a '.') |
- if (proxy.getName().startsWith(".")) { |
+ if (TextSearchScopeFilter.isFiltered(proxy)) { |
return false; |
} |