diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-10-24 23:02:18 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-10-27 11:40:47 +0100 |
| commit | 1d2808341a51fe70ea5587b2c111fa4ebf106991 (patch) | |
| tree | e1b243786e7df20907d8a283cc00063980557edb | |
| parent | cf148a717a275741a35b5f51eab182aa42bd06a6 (diff) | |
| download | rust-1d2808341a51fe70ea5587b2c111fa4ebf106991.tar.gz rust-1d2808341a51fe70ea5587b2c111fa4ebf106991.zip | |
Cleanup search element getter
| -rw-r--r-- | src/librustdoc/html/static/main.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index a0e07d58c9d..d321307b2e0 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -1218,7 +1218,7 @@ function getSearchElement() { } dst = dst[0]; if (window.location.pathname === dst.pathname) { - addClass(document.getElementById("search"), "hidden"); + addClass(getSearchElement(), "hidden"); removeClass(main, "hidden"); document.location.href = dst.href; } @@ -2454,7 +2454,7 @@ function getSearchElement() { function putBackSearch(search_input) { if (search_input.value !== "") { addClass(main, "hidden"); - removeClass(document.getElementById("search"), "hidden"); + removeClass(getSearchElement(), "hidden"); if (browserSupportsHistoryApi()) { history.replaceState(search_input.value, "", |