From 5d9b35319f3a69addc6a5e872e5710ffa13fe3fb Mon Sep 17 00:00:00 2001
From: Jeremy Wootten <jeremy@elementaryos.org>
Date: Sun, 26 Mar 2023 19:11:04 +0100
Subject: [PATCH] Do not recreate SearchContext for same document

---
 src/Widgets/SearchBar.vala | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Widgets/SearchBar.vala b/src/Widgets/SearchBar.vala
index 50520b9c04..42b569714c 100644
--- a/src/Widgets/SearchBar.vala
+++ b/src/Widgets/SearchBar.vala
@@ -217,6 +217,11 @@ namespace Scratch.Widgets {
         }
 
         public void set_text_view (Scratch.Widgets.SourceView? text_view) {
+            if (this.text_view == text_view) {
+                // Do not needlessly recreate SearchContext - may interfere with ongoing search
+                return;
+            }
+
             cancel_update_search_widgets ();
             this.text_view = text_view;