diff options
| author | Michael Howell <michael@notriddle.com> | 2022-05-03 09:20:45 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-05-05 09:39:47 -0700 |
| commit | 4c183cd2d41abfe22b20ff1c9d5a1bb712ef1d71 (patch) | |
| tree | 39f7d1bcab49dfbc738ec4a1ad3f3504ee3a1c32 /src | |
| parent | 75790fabedbb2abd0a9ec30b65655398c89c10e1 (diff) | |
| download | rust-4c183cd2d41abfe22b20ff1c9d5a1bb712ef1d71.tar.gz rust-4c183cd2d41abfe22b20ff1c9d5a1bb712ef1d71.zip | |
rustdoc: fix JS error when rendering parse error
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/js/search.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index 2bb850f994d..e755d27f737 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -1724,6 +1724,10 @@ window.initSearch = rawSearchIndex => { `${typeFilter}</h1> in ${crates} </div>`; if (results.query.error !== null) { output += `<h3>Query parser error: "${results.query.error}".</h3>`; + output += '<div id="titles">' + + makeTabHeader(0, "In Names", ret_others[1]) + + "</div>"; + currentTab = 0; } else if (results.query.foundElems <= 1 && results.query.returned.length === 0) { output += `<div id="titles">` + makeTabHeader(0, "In Names", ret_others[1]) + |