diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-20 19:29:13 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-20 19:29:13 +0100 |
| commit | 2d3f31df8bdcefdd17b5b6a77eac4c94c08aa38d (patch) | |
| tree | 44606e7eb62bc6c74f97e97cb4bf9399001ed4f1 | |
| parent | 27a046e9338fb0455c33b13e8fe28da78212dedc (diff) | |
| download | rust-2d3f31df8bdcefdd17b5b6a77eac4c94c08aa38d.tar.gz rust-2d3f31df8bdcefdd17b5b6a77eac4c94c08aa38d.zip | |
Change local storage name for rustdoc because of conflicts with mdbook
| -rw-r--r-- | src/librustdoc/html/static/storage.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/storage.js b/src/librustdoc/html/static/storage.js index 0aa1065b378..d60e53ef72c 100644 --- a/src/librustdoc/html/static/storage.js +++ b/src/librustdoc/html/static/storage.js @@ -30,7 +30,7 @@ function getCurrentValue(name) { function switchTheme(styleElem, mainStyleElem, newTheme) { styleElem.href = mainStyleElem.href.replace("rustdoc.css", newTheme + ".css"); - updateLocalStorage('theme', newTheme); + updateLocalStorage('rustdoc-theme', newTheme); } switchTheme(currentTheme, mainTheme, getCurrentValue('theme') || 'main'); |