mirror of
https://gitlab.winehq.org/wine/wine-gecko.git
synced 2024-09-13 09:24:08 -07:00
67 lines
2.6 KiB
JavaScript
67 lines
2.6 KiB
JavaScript
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
(function() {
|
|
const DEVTOOLS_SKIN_URL = "chrome://browser/skin/devtools/";
|
|
|
|
function forceStyle() {
|
|
let computedStyle = window.getComputedStyle(document.documentElement);
|
|
if (!computedStyle) {
|
|
// Null when documentElement is not ready. This method is anyways not
|
|
// required then as scrollbars would be in their state without flushing.
|
|
return;
|
|
}
|
|
let display = computedStyle.display; // Save display value
|
|
document.documentElement.style.display = "none";
|
|
window.getComputedStyle(document.documentElement).display; // Flush
|
|
document.documentElement.style.display = display; // Restore
|
|
}
|
|
|
|
function switchTheme(theme, old_theme) {
|
|
let winUtils = window.QueryInterface(Ci.nsIInterfaceRequestor)
|
|
.getInterface(Ci.nsIDOMWindowUtils);
|
|
if (old_theme && theme != old_theme) {
|
|
let old_theme_url = Services.io.newURI(DEVTOOLS_SKIN_URL + old_theme +
|
|
"-theme.css", null, null);
|
|
try {
|
|
winUtils.removeSheet(old_theme_url, window.AUTHOR_SHEET);
|
|
} catch(ex) {}
|
|
}
|
|
let theme_url = Services.io.newURI(DEVTOOLS_SKIN_URL + theme + "-theme.css",
|
|
null, null);
|
|
winUtils.loadSheet(theme_url, window.AUTHOR_SHEET);
|
|
let scrollbar_url =
|
|
Services.io.newURI(DEVTOOLS_SKIN_URL + "floating-scrollbars-light.css",
|
|
null, null);
|
|
if (theme == "dark") {
|
|
winUtils.loadSheet(scrollbar_url, window.AGENT_SHEET);
|
|
forceStyle();
|
|
}
|
|
else if (old_theme == "dark") {
|
|
try {
|
|
winUtils.removeSheet(scrollbar_url, window.AGENT_SHEET);
|
|
} catch(ex) {}
|
|
forceStyle();
|
|
}
|
|
document.documentElement.classList.remove("theme-" + old_theme);
|
|
document.documentElement.classList.add("theme-" + theme);
|
|
}
|
|
|
|
function handlePrefChange(event, data) {
|
|
if (data.pref == "devtools.theme") {
|
|
switchTheme(data.newValue, data.oldValue);
|
|
}
|
|
}
|
|
|
|
const { classes: Cc, interfaces: Ci, utils: Cu } = Components;
|
|
Cu.import("resource://gre/modules/Services.jsm");
|
|
Cu.import("resource:///modules/devtools/gDevTools.jsm");
|
|
let theme = Services.prefs.getCharPref("devtools.theme");
|
|
switchTheme(theme);
|
|
gDevTools.on("pref-changed", handlePrefChange);
|
|
window.addEventListener("unload", function() {
|
|
gDevTools.off("pref-changed", handlePrefChange);
|
|
});
|
|
})()
|