fix tags priority

This commit is contained in:
yggverse 2024-12-17 03:22:45 +02:00
parent 77e5ba367e
commit b0d4cf03c8

View File

@ -20,7 +20,7 @@ impl Tag {
// Init tag table // Init tag table
// keep order as `current` should overwrite `found` tag style // keep order as `current` should overwrite `found` tag style
// https://docs.gtk.org/gtk4/method.TextTag.set_priority.html // https://docs.gtk.org/gtk4/method.TextTag.set_priority.html
for &tag in &[&current, &found] { for &tag in &[&found, &current] {
if !table.add(tag) { if !table.add(tag) {
todo!() todo!()
} }