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