diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2021-11-29 17:14:05 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2021-12-02 14:17:20 +0100 |
| commit | d7e998dd14a8eed64df84d3a0ae05a906d7df152 (patch) | |
| tree | 12683dafbe0e9f1ee1a381ec281666a269d5ed15 /src/librustdoc/html/static/js/source-script.js | |
| parent | 1e55c31cbbc43a21c93ed5652dc39c267e6557af (diff) | |
| download | rust-d7e998dd14a8eed64df84d3a0ae05a906d7df152.tar.gz rust-d7e998dd14a8eed64df84d3a0ae05a906d7df152.zip | |
Rename ID "main" into "main-content"
Diffstat (limited to 'src/librustdoc/html/static/js/source-script.js')
| -rw-r--r-- | src/librustdoc/html/static/js/source-script.js | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/js/source-script.js b/src/librustdoc/html/static/js/source-script.js index fb30bf79a6d..81dc0b2fb1e 100644 --- a/src/librustdoc/html/static/js/source-script.js +++ b/src/librustdoc/html/static/js/source-script.js @@ -113,17 +113,17 @@ function createSourceSidebar() { if (!window.rootPath.endsWith("/")) { window.rootPath += "/"; } - var main = document.querySelector("nav.sidebar"); + var container = document.querySelector("nav.sidebar"); var sidebarToggle = createSidebarToggle(); - main.insertBefore(sidebarToggle, main.firstChild); + container.insertBefore(sidebarToggle, container.firstChild); var sidebar = document.createElement("div"); sidebar.id = "source-sidebar"; if (getCurrentValue("rustdoc-source-sidebar-show") !== "true") { - main.classList.remove("expanded"); + container.classList.remove("expanded"); } else { - main.classList.add("expanded"); + container.classList.add("expanded"); } var currentFile = getCurrentFilePath(); @@ -139,7 +139,7 @@ function createSourceSidebar() { currentFile, hasFoundFile); }); - main.insertBefore(sidebar, document.querySelector(".sidebar-logo").nextSibling); + container.insertBefore(sidebar, document.querySelector(".sidebar-logo").nextSibling); // Focus on the current file in the source files sidebar. var selected_elem = sidebar.getElementsByClassName("selected")[0]; if (typeof selected_elem !== "undefined") { |
