From cea8e8f41d9f9d5ab41029642ecc93e579f08912 Mon Sep 17 00:00:00 2001 From: yggverse Date: Mon, 16 Dec 2024 15:40:53 +0200 Subject: [PATCH] fix tags priority --- .../browser/window/tab/item/page/content/text/search/tag.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/app/browser/window/tab/item/page/content/text/search/tag.rs b/src/app/browser/window/tab/item/page/content/text/search/tag.rs index 55487d10..56b2f40f 100644 --- a/src/app/browser/window/tab/item/page/content/text/search/tag.rs +++ b/src/app/browser/window/tab/item/page/content/text/search/tag.rs @@ -17,8 +17,9 @@ impl Tag { let found = found::new(); // Init `Self` - tag_table.add(¤t); tag_table.add(&found); + tag_table.add(¤t); // keep current priority as `current` overwrites `found` tag! + // https://docs.gtk.org/gtk4/method.TextTag.set_priority.html Self { current, found } }