YGGverse/Yoda
1
0
Fork 0
mirror of https://github.com/YGGverse/Yoda.git synced 2026-04-01 17:15:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

update comment

Browse source
This commit is contained in:
yggverse 2024-12-16 15:43:32 +02:00
parent c12c829dc6
commit fc0cb06239
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -18,7 +18,7 @@ impl Tag {
// Init `Self`
tag_table.add(&found);
tag_table.add(&current); // keep current priority as `current` overwrites `found` tag!
tag_table.add(&current); // keep current priority as `current` should overwrite `found`
// https://docs.gtk.org/gtk4/method.TextTag.set_priority.html
Self { current, found }