From 1cfe38799440fe5d58d9387a4009cfdae2deced2 Mon Sep 17 00:00:00 2001
From: Eric Leese <leese@chromium.org>
Date: Thu, 10 Aug 2023 19:29:26 +0200
Subject: [PATCH] Use ignore listing to pre-filter Search results panel
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/front_end/panels/sources/SourcesSearchScope.ts b/front_end/panels/sources/SourcesSearchScope.ts
index e65d61c135..0c6b108272 100644
--- a/front_end/panels/sources/SourcesSearchScope.ts
+++ b/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;