Skip to content

bug: fix search scrolling with wider Unicode characters.#938

Merged
ClementTsang merged 3 commits intomasterfrom fix_search_scrollDec 31, 2022

Commits

Commits on Dec 30, 2022

Commits on Dec 31, 2022