-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add search and pagination for DocsR (/#SnapName/docs) #300
Labels
Comments
We can close this now too, right? |
Same as #299 PR was reverted, so closing. |
Thanks for reopening |
So is the issue here to add pagination to |
Pagination by itself would prevent searching the page. So a combination of pagination and a search bar would be a viable solution, I think. |
chreekat
changed the title
List of docs for all modules
Add search and pagination for DocsR (/#SnapName/docs)
Apr 18, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There is a page on stackage.org/SnapshotName/docs which lists all modules available for all packages in a particular snapshot. It has a lot of content and is very expensive. It takes ~10s for me to load on my local clone of stackage. Suggesting to disable it, so we can take the load of stackage.org as a follow up to #295
This issue is very similar to #299 in spirit, so anyone relying on this page feel free to submit a PR with pagination and a search form to make loading of that page acceptable.
The text was updated successfully, but these errors were encountered: