Improve search to perform basic substring, case-insensitive matches #70

Manually merged
cmccabe merged 2 commits from fix-search into master 2019-12-28 12:23:55 +00:00

2 Commits

Author SHA1 Message Date
fb1fd801ef Search now case insensitive 2019-12-25 00:03:21 +11:00
5fdb0f4863 Search now matches if the keyword is a substring of any element 2019-12-24 23:33:28 +11:00