feat: SearchQuery.filterResult, an optional filter on results #5
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "filterResult"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This should be a more conformant version of this PR.
I added an optional filter on results, that work the same way of
checkWordBoundary.In particular I wanted to search for a text that also has some
Marks.I changed the internal
checkResultfunction -- originally intended only for thewholeWordoption -- this way:This are two filters that I use to check if the searched text has one or all the
Marks in a set:I've also added a test.
Merged as
b285dc6105and tweaked a bit in91463ed1b1Pull request closed