agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

The search functionality seems to be limited to 15 results

Open EgbertRijke opened this issue 11 months ago • 1 comments

I noticed today that on our website the search functionality seems to give 15 results only. That would be a great choice if the search functionality would be very good and give you relevant results first. However, it isn't very good, so I think it would be useful to not limit the number of search results so that we can browse more through them. Is this possible, or is this a limitation of mdbook?

EgbertRijke avatar Mar 10 '24 09:03 EgbertRijke

The number is configurable in book.toml, at the bottom we set limit-results = 15. We can make the number bigger (the default is 30), but I don't think it's possible to make it unbounded, and I wouldn't want that either, because I'm not sure if it does any form of incremental search.

The "right" solution would be to improve the search. I don't think the built-in one is built to work well on this kind of code-heavy wiki-style websites

VojtechStep avatar Mar 10 '24 10:03 VojtechStep