The filter now works as advertised.
It only searches for matches from the beginning of the text. That is, typing 'j' shows only items that start with 'j', rather than all items that contain a 'j' in them.
The solution could also be faster, as it is just a non-lazy API over the (slightly modified) lazy API.
The filter now works as advertised. It only searches for matches from the beginning of the text. That is, typing 'j' shows only items that start with 'j', rather than all items that contain a 'j' in them. The solution could also be faster, as it is just a non-lazy API over the (slightly modified) lazy API.