Fix code search close button behavior (#960)

Fixes #959 Clear the highlights in the code and remember the last searched word
workbenchdev · Jul 10, 2024 · fa3f77e · fa3f77e
1 parent 05d6c3c
commit fa3f77e
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() {