From fa3f77ef5124b02b31b7eb07035bb4d6c503224b Mon Sep 17 00:00:00 2001 From: UrtsiSantsi <142679804+UrtsiSantsi@users.noreply.github.com> Date: Wed, 10 Jul 2024 22:52:00 +0300 Subject: [PATCH] Fix code search close button behavior (#960) Fixes #959 Clear the highlights in the code and remember the last searched word --- src/widgets/CodeFind.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/widgets/CodeFind.js b/src/widgets/CodeFind.js index d91366f84..18b6e263e 100644 --- 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() {