Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Better search #679

Open
JorgeCarousel opened this issue Jul 29, 2022 · 2 comments
Open

Better search #679

JorgeCarousel opened this issue Jul 29, 2022 · 2 comments
Labels
Feature

Comments

@JorgeCarousel
Copy link

Hey guys, can you add search capability for the documentation downloadable files? it doesn't even have to be written in php, it can just be like the one in python documentation files, JavaScript, so it can be run from regular HTML files.

Thanks.
@cmb69
Copy link
Contributor

cmb69 commented Jul 29, 2022

The *.chm files are already searchable. Adding search support to the "many HTML files" packages makes sense; a PR would be welcome!

@JorgeCarousel
Copy link
Author

It's not letting me create a PR, but according to the files in Python documentation it is done using: Sphinx JavaScript utilities for the full-text search.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@derickr @cmb69 @JorgeCarousel