Waqar Ahmed authored Jan 10, 2022 and Christoph Cullmann committed Jan 11, 2022

Typing into the filter line edit is too slow for the first couple of
chars. So when we have only one char, do simple string searching that
is much faster. For the rest, use simple fuzzy matching as we don't
use score here and all the extra work is not needed.