search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

The search functionality seems to be limited to 15 results #1062

Open EgbertRijke opened 8 months ago

EgbertRijke commented 8 months ago

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?

VojtechStep commented 8 months ago

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