Add crate filtering

This commit is contained in:
Guillaume Gomez 2018-10-01 00:47:54 +02:00
parent b76ee83254
commit dd717deccb
6 changed files with 131 additions and 26 deletions

View file

@ -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() {