Skip to content

Sort matches before highlighting text#172

Merged
winniel24 merged 1 commit intomainfrom ms2/fuzy-searchNov 24, 2023

Commits

Commits on Nov 23, 2023