Skip to content

fix(ui): correct mark name highlight offset by one#25

Merged
alexekdahl merged 1 commit intomainfrom
alexekdahl/bugfix/highlight
Nov 8, 2025
Merged

fix(ui): correct mark name highlight offset by one#25
alexekdahl merged 1 commit intomainfrom
alexekdahl/bugfix/highlight

Commits

Commits on Nov 8, 2025