Skip to content

Fix word matching in type hierarchy hightlighting - #87

Merged
leblocks merged 1 commit into
masterfrom
fix_highlighting_in_type_hierarchy
Jul 27, 2026
Merged

Fix word matching in type hierarchy hightlighting#87
leblocks merged 1 commit into
masterfrom
fix_highlighting_in_type_hierarchy

Commits

Commits on Jul 27, 2026