diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-11-25 19:51:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-25 19:51:56 +0100 |
| commit | e698de96eae783692351de9856d0e8ec1d4aaaa2 (patch) | |
| tree | 5f662a8c6cb6a63cacb0298939ebc4c8f643ca30 /src | |
| parent | 9b1da031029044077f7ac2bad6d9edd9780c59e1 (diff) | |
| parent | 884679ff6325e0ba51f8b2ed246514ba36900dc5 (diff) | |
Rollup merge of #118291 - notriddle:notriddle/search-dom, r=GuillaumeGomez
rustdoc-search: clean up some DOM code
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/js/search.js | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index 0bb56cd9710..979aebdb7be 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -2424,10 +2424,7 @@ function initSearch(rawSearchIndex) { * @param {boolean} display - True if this is the active tab */ function addTab(array, query, display) { - let extraClass = ""; - if (display === true) { - extraClass = " active"; - } + const extraClass = display ? " active" : ""; const output = document.createElement("div"); let length = 0; @@ -2669,13 +2666,9 @@ ${item.displayPath}<span class="${type}">${name}</span>\ /** * Perform a search based on the current state of the search input element * and display the results. - * @param {Event} [e] - The event that triggered this search, if any * @param {boolean} [forced] */ - function search(e, forced) { - if (e) { - e.preventDefault(); - } + function search(forced) { const query = parseQuery(searchState.input.value.trim()); let filterCrates = getFilterCrates(); @@ -3212,7 +3205,8 @@ ${item.displayPath}<span class="${type}">${name}</span>\ // popping a state (Firefox), which is why search() is // called both here and at the end of the startSearch() // function. - search(e); + e.preventDefault(); + search(); } else { searchState.input.value = ""; // When browsing back from search results the main page @@ -3247,7 +3241,7 @@ ${item.displayPath}<span class="${type}">${name}</span>\ // before paste back the previous search, you get the old search results without // the filter. To prevent this, we need to remove the previous results. currentResults = null; - search(undefined, true); + search(true); } /** |
