Skip to content

Refine glossary tooltip feature (support capitalized terms and plural forms, remove tooltip from terms in backticks)#1228

Merged
josh-wong merged 3 commits intomainfrom
refine-glossary-tooltip-feature
May 22, 2025
Merged

Refine glossary tooltip feature (support capitalized terms and plural forms, remove tooltip from terms in backticks)#1228
josh-wong merged 3 commits intomainfrom
refine-glossary-tooltip-feature

Commits