diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-10-01 00:47:54 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-11-28 19:33:33 +0100 |
| commit | dd717deccb3a4698beac8edb0a75e2efb6f08ebb (patch) | |
| tree | d7e474fa30699d68c6e4b3db2b4191273f194e8b /src/librustdoc/html/render.rs | |
| parent | b76ee83254ec0398da554f25c2168d917ba60f1c (diff) | |
| download | rust-dd717deccb3a4698beac8edb0a75e2efb6f08ebb.tar.gz rust-dd717deccb3a4698beac8edb0a75e2efb6f08ebb.zip | |
Add crate filtering
Diffstat (limited to 'src/librustdoc/html/render.rs')
| -rw-r--r-- | src/librustdoc/html/render.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/render.rs b/src/librustdoc/html/render.rs index f560350d510..48da90de02a 100644 --- a/src/librustdoc/html/render.rs +++ b/src/librustdoc/html/render.rs @@ -983,7 +983,7 @@ themePicker.onblur = handleThemeButtonsBlur; &[(minifier::js::Keyword::Null, "N")]), &dst); } - try_err!(writeln!(&mut w, "initSearch(searchIndex);"), &dst); + try_err!(writeln!(&mut w, "initSearch(searchIndex);addSearchOptions(searchIndex);"), &dst); if options.enable_index_page { if let Some(index_page) = options.index_page.clone() { |