diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-10-15 15:59:00 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-10-15 15:59:00 +0200 |
| commit | e14d2efba3a43ca5f02ce69f978f64323c471abb (patch) | |
| tree | bf8e48c06e563494c4bf23edee5256f092012a3e | |
| parent | b15e2c129e732fb3f1ff3c707d76341047a66af0 (diff) | |
| download | rust-e14d2efba3a43ca5f02ce69f978f64323c471abb.tar.gz rust-e14d2efba3a43ca5f02ce69f978f64323c471abb.zip | |
Fix display of settings page
| -rw-r--r-- | src/librustdoc/html/static/js/settings.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/js/settings.js b/src/librustdoc/html/static/js/settings.js index 1c5d33e2127..5e1c7e6f03e 100644 --- a/src/librustdoc/html/static/js/settings.js +++ b/src/librustdoc/html/static/js/settings.js @@ -216,7 +216,9 @@ const innerHTML = `<div class="settings">${buildSettingsPageSections(settings)}</div>`; const el = document.createElement(elementKind); el.id = "settings"; - el.className = "popover"; + if (!isSettingsPage) { + el.className = "popover"; + } el.innerHTML = innerHTML; if (isSettingsPage) { |