Skip to content

Add highlighting for matches in fuzzy finder#947

Merged
extrawurst merged 2 commits intogitui-org:masterfrom
Mifom:master
Oct 15, 2021

Commits

Commits on Oct 15, 2021