Skip to content

Make highlights respect word selection mode#742

Open
hrdl-github wants to merge 9 commits into
ahrm:mainfrom
hrdl-github:fix_word_selection
Open

Make highlights respect word selection mode#742
hrdl-github wants to merge 9 commits into
ahrm:mainfrom
hrdl-github:fix_word_selection

Commits

Commits on Sep 29, 2023