YGGverse/Yoda
1
0
Fork 0
mirror of https://github.com/YGGverse/Yoda.git synced 2026-03-31 16:45:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix tags priority

Browse source
This commit is contained in:
yggverse 2024-12-16 15:40:53 +02:00
parent 44c92831c0
commit cea8e8f41d
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/app/browser/window/tab/item/page/content/text/search/tag.rs
View file

@ -17,8 +17,9 @@ impl Tag {
let found = found::new();
// Init `Self`
tag_table.add(&current);
tag_table.add(&found);
tag_table.add(&current); // keep current priority as `current` overwrites `found` tag!
// https://docs.gtk.org/gtk4/method.TextTag.set_priority.html
Self { current, found }
}