On Monday, 15 October 2018 07.31.20 WEST Daniel wrote:
> Currently, the list is filtered such that any occurrence of the typed
> characters in that order but not necessarily successively is matched. I
> think this is a bit too "lenient".

I think that the correct word here is "weird". :-)

Now I understand why I am always confused when using the filter. :-)
-- 
José Abílio


Reply via email to