Fix code search close button behavior (#959)

Clear the highlights in the code and remember the last searched word
workbenchdev · Jul 4, 2024 · 23dc6f3 · 23dc6f3
1 parent bdf7bed
commit 23dc6f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/widgets/CodeFind.js b/src/widgets/CodeFind.js
@@ -72,7 +72,7 @@ class Search extends Gtk.Revealer {
   }
 
   onClose() {
-    this.reveal_child = false;
+    this.#endSearch(true);
   }
 
   #addControllers() {