diff options
| author | Michael Howell <michael@notriddle.com> | 2023-01-23 10:46:40 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-01-23 15:08:33 -0700 |
| commit | 1c41b4d5aced0f7d9f692efde53e896a234c7f48 (patch) | |
| tree | fdf866330e1126d150eee916d1f5f42a98268eda | |
| parent | 5dd87c58aa8f9628eb8da9ad71f9c6488d409853 (diff) | |
| download | rust-1c41b4d5aced0f7d9f692efde53e896a234c7f48.tar.gz rust-1c41b4d5aced0f7d9f692efde53e896a234c7f48.zip | |
rustdoc: remove dead settings JS for obsolete select-wrapper
| -rw-r--r-- | src/librustdoc/html/static/js/settings.js | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/librustdoc/html/static/js/settings.js b/src/librustdoc/html/static/js/settings.js index fef856d5e2c..a841b4b63ba 100644 --- a/src/librustdoc/html/static/js/settings.js +++ b/src/librustdoc/html/static/js/settings.js @@ -80,17 +80,6 @@ toggle.onkeyup = handleKey; toggle.onkeyrelease = handleKey; }); - onEachLazy(settingsElement.getElementsByClassName("select-wrapper"), elem => { - const select = elem.getElementsByTagName("select")[0]; - const settingId = select.id; - const settingValue = getSettingValue(settingId); - if (settingValue !== null) { - select.value = settingValue; - } - select.onchange = function() { - changeSetting(this.id, this.value); - }; - }); onEachLazy(settingsElement.querySelectorAll("input[type=\"radio\"]"), elem => { const settingId = elem.name; let settingValue = getSettingValue(settingId); |
