Use ignore listing to pre-filter Search results panel

Bug: 1472019
Change-Id: I6fb91cb221447ebbf716475ddcd62dd27bc54bbe
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/4770835
Reviewed-by: Simon Zünd <szuend@chromium.org>
Commit-Queue: Eric Leese <leese@chromium.org>

front_end/panels/sources/SourcesSearchScope.ts

@@ -152,6 +152,10 @@ export class SourcesSearchScope implements Search.SearchScope.SearchScope {
       if (!uiSourceCode.contentType().isTextType()) {
         continue;
       }
+      if (Bindings.IgnoreListManager.IgnoreListManager.instance().isUserOrSourceMapIgnoreListedUISourceCode(
+              uiSourceCode)) {
+        continue;
+      }
       const binding = Persistence.Persistence.PersistenceImpl.instance().binding(uiSourceCode);
       if (binding && binding.network === uiSourceCode) {
         continue;