bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

rustdoc-search: give longer notification for type corrections

Browse source
This commit is contained in:
Michael Howell 2023-04-19 10:16:14 -07:00
parent 4c11822aeb
commit b6f81e0434
2 changed files with 10 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/librustdoc/html/static/js/search.js
View file

@ -1996,8 +1996,13 @@ function initSearch(rawSearchIndex) {
}
if (results.query.correction !== null) {
output += "<h3 class=\"search-corrections\">Showing results for " +
`"${results.query.correction}".</h3>`;
const orig = results.query.returned.length > 0
? results.query.returned[0].name
: results.query.elems[0].name;
output += "<h3 class=\"search-corrections\">" +
`Type "${orig}" not found. ` +
"Showing results for " +
`"${results.query.correction}" instead.</h3>`;
}
const resultsElem = document.createElement("div");