-
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 sphinx jquery extension to fix read-the-docs search #1433
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good.
src/conf.py
Outdated
@@ -57,7 +57,8 @@ | |||
'sphinxcontrib.jquery', | |||
'sphinx.ext.todo', | |||
'sphinx.ext.coverage', | |||
'sphinx.ext.mathjax' | |||
'sphinx.ext.mathjax', | |||
'sphinxcontrib.jquery' |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is already on line 57
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
D'oh - I was too reliant on diff highlighting.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
interesting... I'll play around with this a bit.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks to be only "develop" branch/version of the documentation does not have the search working.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Last time this happened, @kennyweiss helped by inspecting the html errors via the browser. This line specifically is what fixed it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Scratch that, "develop" works when I switch browsers/use a private tab. Probably just need to clear cache.
As @white238 pointed out, we already have |
This PR: