diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-01-15 17:57:06 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-01-15 17:57:25 +0100 |
| commit | ed717f30ec3006e465ed4d68adf31cabdf0329fa (patch) | |
| tree | 7c9cb78e7f0917e2d7ad86bbdca0c7a512ec17f2 | |
| parent | 33e6df4b62237af312bf6e3f40a97f5bdc94949a (diff) | |
| download | rust-ed717f30ec3006e465ed4d68adf31cabdf0329fa.tar.gz rust-ed717f30ec3006e465ed4d68adf31cabdf0329fa.zip | |
Fix sources sidebar not showing up
| -rw-r--r-- | src/librustdoc/html/render.rs | 2 | ||||
| -rw-r--r-- | src/librustdoc/html/static/source-script.js | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/src/librustdoc/html/render.rs b/src/librustdoc/html/render.rs index 31e06cb1a04..1d50afe2821 100644 --- a/src/librustdoc/html/render.rs +++ b/src/librustdoc/html/render.rs @@ -1042,7 +1042,7 @@ themePicker.onblur = handleThemeButtonsBlur; all_sources.sort(); let mut w = try_err!(File::create(&dst), &dst); try_err!(writeln!(&mut w, - "var N = null;var sourcesIndex = {{}};\n{}", + "var N = null;var sourcesIndex = {{}};\n{}\ncreateSourceSidebar();", all_sources.join("\n")), &dst); } diff --git a/src/librustdoc/html/static/source-script.js b/src/librustdoc/html/static/source-script.js index 0affe1c6812..c5d6fa16f55 100644 --- a/src/librustdoc/html/static/source-script.js +++ b/src/librustdoc/html/static/source-script.js @@ -137,5 +137,3 @@ function createSourceSidebar() { main.insertBefore(sidebar, main.firstChild); } - -createSourceSidebar(); |