Fix blink when main theme is selected

This commit is contained in:
Guillaume Gomez 2018-03-08 00:11:17 +01:00
parent 883e74645d
commit 366ee8518f

View File

@ -44,8 +44,12 @@ function switchTheme(styleElem, mainStyleElem, newTheme) {
var fullBasicCss = "rustdoc" + resourcesSuffix + ".css";
var fullNewTheme = newTheme + resourcesSuffix + ".css";
var newHref = mainStyleElem.href.replace(fullBasicCss, fullNewTheme);
var found = false;
if (styleElem.href === newHref) {
return;
}
var found = false;
if (savedHref.length === 0) {
onEach(document.getElementsByTagName("link"), function(el) {
savedHref.push(el.href);