1
Fork 0

rustdoc: fixes #64305: disable search field instead of hidding it

Signed-off-by: Maxime “pep” Buquet <pep@bouah.net>
This commit is contained in:
Maxime “pep” Buquet 2019-11-11 16:54:45 +01:00 committed by Guillaume Gomez
parent 9b0214d9c5
commit 5cbd406a14
3 changed files with 7 additions and 6 deletions

View file

@ -142,10 +142,6 @@ function getSearchElement() {
var TY_PRIMITIVE = itemTypes.indexOf("primitive");
var TY_KEYWORD = itemTypes.indexOf("keyword");
onEachLazy(document.getElementsByClassName("js-only"), function(e) {
removeClass(e, "js-only");
});
function getQueryStringParams() {
var params = {};
window.location.search.substring(1).split("&").
@ -2626,6 +2622,10 @@ function getSearchElement() {
option.innerText = crates_text[i];
elem.appendChild(option);
}
if (search_input) {
search_input.removeAttribute('disabled');
};
}
window.addSearchOptions = addSearchOptions;