Fix to exclude patch files from search results (dartbug.com/5492).

editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java

Index: editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java	(revision 12972)
+++ editor/tools/plugins/com.google.dart.tools.search/src/com/google/dart/tools/search/internal/ui/text/TextSearchScopeFilter.java	(working copy)
@@ -37,7 +37,7 @@
    * @return <code>true</code> if the file should be excluded, <code>false</code> otherwise
    */
   public static boolean isFiltered(File file) {
-    return file.isFile() && isExternaFileNameFiltered(file.getName());
+    return isPatchFile(file) || (file.isFile() && isExternaFileNameFiltered(file.getName()));
   }
 
   /**
@@ -65,6 +65,10 @@
     return true;
   }
 
+  private static boolean isPatchFile(File file) {
+    return DartCore.isPatchfile(file);
+  }
+
   /**
    * Checks if the given file name should be filtered out of a search scope.
    *