1
Fork 0

Fix sources sidebar not showing up

This commit is contained in:
Guillaume Gomez 2019-01-15 17:57:06 +01:00
parent 33e6df4b62
commit ed717f30ec
2 changed files with 1 additions and 3 deletions

View file

@ -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);
}