bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Set preferred-dark-theme to the last dark theme

Browse source 
If the user doesn't have a preferred dark theme but is already using a
dark theme, set the preferred dark theme to be that theme
This commit is contained in:
nasso 2020-10-15 18:03:25 +02:00
parent db7c8f4c3c
commit 59f9cf2ac1
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/librustdoc/html/static/storage.js
View file

@ -1,8 +1,10 @@
// From rust:
/* global resourcesSuffix */
var darkThemes = ["dark", "ayu"];
var currentTheme = document.getElementById("themeStyle");
var mainTheme = document.getElementById("mainThemeStyle");
var localStoredTheme = getCurrentValue("rustdoc-theme");
var savedHref = [];
@ -179,6 +181,14 @@ var updateSystemTheme = (function() {
})();
if (getCurrentValue("rustdoc-use-system-theme") !== "false" && window.matchMedia) {
// update the preferred dark theme if the user is already using a dark theme
// See https://github.com/rust-lang/rust/pull/77809#issuecomment-707875732
if (getCurrentValue("rustdoc-use-system-theme") === null
&& getCurrentValue("rustdoc-preferred-dark-theme") === null
&& darkThemes.indexOf(localStoredTheme) >= 0) {
updateLocalStorage("rustdoc-preferred-dark-theme", localStoredTheme);
}
// call the function to initialize the theme at least once!
updateSystemTheme();
} else {