user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rustdoc: name the source page sidebar-toggle #src-sidebar-toggle

Browse source 
The old name doesn't get across where it's really supposed to be used.
This commit is contained in:
Michael Howell 2022-12-15 16:29:52 -07:00
parent ec56537c43
commit a84483eb59
6 changed files with 37 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/librustdoc/html/static/js/source-script.js
View file

@ -83,7 +83,7 @@ function toggleSidebar() {
function createSidebarToggle() {
const sidebarToggle = document.createElement("div");
sidebarToggle.id = "sidebar-toggle";
sidebarToggle.id = "src-sidebar-toggle";
const inner = document.createElement("button");