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

Optimize search index #707

Merged
merged 8 commits into from Jul 23, 2018
Merged

Optimize search index #707

merged 8 commits into from Jul 23, 2018

Conversation

mattico
Copy link
Contributor

@mattico mattico commented Jun 13, 2018

Closes #704

@mattico
Copy link
Contributor Author

mattico commented Jun 14, 2018

(travis failure is due to cache uploading, not tests)

This change reduced the searchindex.js of book_example from 508KB to 317KB.
This allows the search index to be loaded asynchronously, and should
use fewer resources as it doesn't have to execute the JS.
JS loading is kept as a fallback for CORS issues with file:// URIs in Chrome.
@mattico mattico merged commit da9be67 into rust-lang:master Jul 23, 2018
@mattico mattico deleted the search-index-opt branch July 23, 2018 17:32
mattico added a commit to mattico/mdBook that referenced this pull request Jul 26, 2018
which should have been included in rust-lang#707
Ruin0x11 pushed a commit to Ruin0x11/mdBook that referenced this pull request Aug 30, 2020
Ruin0x11 pushed a commit to Ruin0x11/mdBook that referenced this pull request Aug 30, 2020
which should have been included in rust-lang#707
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

Successfully merging this pull request may close these issues.

None yet

1 participant