diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-05-17 13:15:49 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-05-17 13:15:49 +0200 |
| commit | d765b73a01870b45e2179e8a55ce1a406d8de248 (patch) | |
| tree | e19ea68509afe2d638ac827b72aaa5991a21bab2 | |
| parent | e170d8789750d6a27f41a3cfc2d124209c08f382 (diff) | |
| download | rust-d765b73a01870b45e2179e8a55ce1a406d8de248.tar.gz rust-d765b73a01870b45e2179e8a55ce1a406d8de248.zip | |
Fix duplicated "in" in the search result text
| -rw-r--r-- | src/librustdoc/html/static/js/search.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index 0be70d77d06..40042f06a34 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -1740,7 +1740,7 @@ window.initSearch = rawSearchIndex => { let output = "<div id=\"search-settings\">" + `<h1 class="search-results-title">Results for ${escape(results.query.userQuery)}` + - `${typeFilter}</h1> in ${crates} </div>`; + `${typeFilter}</h1>${crates}</div>`; if (results.query.error !== null) { output += `<h3>Query parser error: "${results.query.error}".</h3>`; output += "<div id=\"titles\">" + |