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.

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

Search engine seems worst than Documenter.jl #190

Open
albertomercurio opened this issue Nov 29, 2024 · 2 comments
Open

Search engine seems worst than Documenter.jl #190

albertomercurio opened this issue Nov 29, 2024 · 2 comments

Comments

@albertomercurio
Copy link

I have the impression that the search engine finds the results in a different way compared to the one of Documenter.jl. I find the search engine of the last one more efficient, while DocumenterVitepress.jl seems a bit confusing sometimes.

@lazarusA
Copy link
Collaborator

lazarusA commented Nov 29, 2024

indeed. Someone will need to pass the options from here https://github.com/JuliaDocs/Documenter.jl/blob/c955fe8112b5503ae363cc7d0e315eff10c37d63/assets/html/js/search.js#L189 into the config options here:

@albertomercurio
Copy link
Author

What options should I define to have the same behavior of the Documenter.jl case?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants