diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-05-18 11:39:46 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-05-18 11:40:15 +0200 |
| commit | 72496d88d3b80ecc4d24e1fec84d399c8efa4466 (patch) | |
| tree | d265cacf4ec359cee1ae98c648a6618b3cff3163 /src/librustdoc/html/static | |
| parent | 77972d2d0134fb597249b3b64dcf9510a790c34e (diff) | |
| download | rust-72496d88d3b80ecc4d24e1fec84d399c8efa4466.tar.gz rust-72496d88d3b80ecc4d24e1fec84d399c8efa4466.zip | |
Move some DOM generation into the HTML settings file directly
Diffstat (limited to 'src/librustdoc/html/static')
| -rw-r--r-- | src/librustdoc/html/static/js/settings.js | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/src/librustdoc/html/static/js/settings.js b/src/librustdoc/html/static/js/settings.js index 2e2305029cd..8770cc3f3b1 100644 --- a/src/librustdoc/html/static/js/settings.js +++ b/src/librustdoc/html/static/js/settings.js @@ -206,22 +206,8 @@ ]; // Then we build the DOM. - let innerHTML = ""; - let elementKind = "div"; - - if (isSettingsPage) { - elementKind = "section"; - innerHTML = `<div class="main-heading"> - <h1 class="fqn"> - <span class="in-band">Rustdoc settings</span> - </h1> - <span class="out-of-band"> - <a id="back" href="javascript:void(0)" onclick="history.back();">Back</a> - </span> - </div>`; - } - innerHTML += `<div class="settings">${buildSettingsPageSections(settings)}</div>`; - + const elementKind = isSettingsPage ? "section" : "div"; + const innerHTML = `<div class="settings">${buildSettingsPageSections(settings)}</div>`; const el = document.createElement(elementKind); el.id = "settings"; el.innerHTML = innerHTML; |
