Closed numist closed 5 months ago
I think #29 supersedes this quite nicely. That one is a bit more expansive and flexible.
I went ahead and merged #29. I greatly appreciate the time you spent on this PR @numist 🙏
The main thing this PR was intended to provide was support for fuzzy searching (rather than basic substring matching, as used in the merged PR). Is there interest for that?
@numist any improvements to search are most welcome. Sorry, I didn't realise you'd done fuzzy searching here. Feel free to open a new PR!
Looks like you're getting a lot of requests to add new characters! Here's a basic search box (with basic sorting by relevance) lifted from https://github.com/numist/numi.st/pull/85 in case scrolling stops being good enough.