Filter unwanted file types from editor text search scope.

Filter unwanted file types from editor text search scope.

Specifically: remove dart-sdk/lib/config/ contents and .dart.js files from search scope.
Committed: https://code.google.com/p/dart/source/detail?r=7427

[danrubel, 2012-05-08 18:38:20]

lgtm

https://chromiumcodereview.appspot.com/10386033/diff/7001/editor/tools/plugin...
File
editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java
(right):

https://chromiumcodereview.appspot.com/10386033/diff/7001/editor/tools/plugin...
editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java:59:
public static boolean isFiltered(String fileName) {
I recommend making this method private seeing as it only provides a partial
answer for "is this filtered" and external callers should be calling one of the
two methods above rather than this method.

[pquitslund, 2012-05-08 18:42:24]

On 2012/05/08 18:38:20, danrubel wrote:
> lgtm
> 
>
https://chromiumcodereview.appspot.com/10386033/diff/7001/editor/tools/plugin...
> File
>
editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java
> (right):
> 
>
https://chromiumcodereview.appspot.com/10386033/diff/7001/editor/tools/plugin...
>
editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java:59:
> public static boolean isFiltered(String fileName) {
> I recommend making this method private seeing as it only provides a partial
> answer for "is this filtered" and external callers should be calling one of
the
> two methods above rather than this method.

Done!