Hi,
I like pop-launcher (used with cosmic frontend) but I was spoiled by other app launchers and one thing throws me off.
Pop-launcher sorts results based on filters. So if I type 'foo', it will correctly sort results to make most relevant for 'foo' first. However, even if there's a result that is very far, far from being considered relevant to 'foo', it will still be present in list of options to choose.
In other words, there's no possibility to configure 'cutoff' of fuzzy search to not include results that did not score high enough. I would like to be able to have something like that on pop-launcher level because it is problem generic enough that would need to be replicated in every single plugin I write.
Maybe some additional attribute like threshold that takes value between 0 and 1 that would allow making list shorter based on score?
Hi,
I like pop-launcher (used with cosmic frontend) but I was spoiled by other app launchers and one thing throws me off.
Pop-launcher sorts results based on filters. So if I type 'foo', it will correctly sort results to make most relevant for 'foo' first. However, even if there's a result that is very far, far from being considered relevant to 'foo', it will still be present in list of options to choose.
In other words, there's no possibility to configure 'cutoff' of fuzzy search to not include results that did not score high enough. I would like to be able to have something like that on pop-launcher level because it is problem generic enough that would need to be replicated in every single plugin I write.
Maybe some additional attribute like
thresholdthat takes value between 0 and 1 that would allow making list shorter based on score?