Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(249)

Unified Diff: editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/ui/text/FileTextSearchScope.java

Issue 10386033: Filter unwanted file types from editor text search scope. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 8 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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;
}
« no previous file with comments | « editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698