mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-01 22:55:23 +00:00
30b2b7ce44
For simple rules like function spacing, we can auto-fix these across the code base so they are followed in a consistent way. To generate this patch, I ran: ./mach eslint devtools --no-ignore --fix After this, I reverted any changes to third party files that we really do want to ignore. MozReview-Commit-ID: 6Q8BApkAW20
180 lines
5.9 KiB
JavaScript
180 lines
5.9 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 SCROLLBARS_URL = "chrome://devtools/skin/floating-scrollbars-dark-theme.css";
|
|
let documentElement = document.documentElement;
|
|
|
|
let os;
|
|
let platform = navigator.platform;
|
|
if (platform.startsWith("Win")) {
|
|
os = "win";
|
|
} else if (platform.startsWith("Mac")) {
|
|
os = "mac";
|
|
} else {
|
|
os = "linux";
|
|
}
|
|
|
|
documentElement.setAttribute("platform", os);
|
|
|
|
// no-theme attributes allows to just est the platform attribute
|
|
// to have per-platform CSS working correctly.
|
|
if (documentElement.getAttribute("no-theme") === "true") {
|
|
return;
|
|
}
|
|
|
|
let devtoolsStyleSheets = new WeakMap();
|
|
|
|
function forceStyle() {
|
|
let computedStyle = window.getComputedStyle(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
|
|
documentElement.style.display = "none";
|
|
window.getComputedStyle(documentElement).display; // Flush
|
|
documentElement.style.display = display; // Restore
|
|
}
|
|
|
|
/*
|
|
* Append a new processing instruction and return an object with
|
|
* - styleSheet: DOMNode
|
|
* - loadPromise: Promise that resolves once the sheets loads or errors
|
|
*/
|
|
function appendStyleSheet(url) {
|
|
let styleSheetAttr = `href="${url}" type="text/css"`;
|
|
let styleSheet = document.createProcessingInstruction(
|
|
"xml-stylesheet", styleSheetAttr);
|
|
let loadPromise = new Promise((resolve, reject) => {
|
|
function onload() {
|
|
styleSheet.removeEventListener("load", onload);
|
|
styleSheet.removeEventListener("error", onerror);
|
|
resolve();
|
|
}
|
|
function onerror() {
|
|
styleSheet.removeEventListener("load", onload);
|
|
styleSheet.removeEventListener("error", onerror);
|
|
reject("Failed to load theme file " + url);
|
|
}
|
|
|
|
styleSheet.addEventListener("load", onload);
|
|
styleSheet.addEventListener("error", onerror);
|
|
});
|
|
document.insertBefore(styleSheet, documentElement);
|
|
return {styleSheet, loadPromise};
|
|
}
|
|
|
|
/*
|
|
* Notify the window that a theme switch finished so tests can check the DOM
|
|
*/
|
|
function notifyWindow() {
|
|
window.dispatchEvent(new CustomEvent("theme-switch-complete", {}));
|
|
}
|
|
|
|
/*
|
|
* Apply all the sheets from `newTheme` and remove all of the sheets
|
|
* from `oldTheme`
|
|
*/
|
|
function switchTheme(newTheme, oldTheme) {
|
|
if (newTheme === oldTheme) {
|
|
return;
|
|
}
|
|
|
|
let oldThemeDef = gDevTools.getThemeDefinition(oldTheme);
|
|
let newThemeDef = gDevTools.getThemeDefinition(newTheme);
|
|
|
|
// The theme might not be available anymore (e.g. uninstalled)
|
|
// Use the default one.
|
|
if (!newThemeDef) {
|
|
newThemeDef = gDevTools.getThemeDefinition("light");
|
|
}
|
|
|
|
// Store the sheets in a WeakMap for access later when the theme gets
|
|
// unapplied. It's hard to query for processing instructions so this
|
|
// is an easy way to access them later without storing a property on
|
|
// the window
|
|
devtoolsStyleSheets.set(newThemeDef, []);
|
|
|
|
let loadEvents = [];
|
|
for (let url of newThemeDef.stylesheets) {
|
|
let {styleSheet, loadPromise} = appendStyleSheet(url);
|
|
devtoolsStyleSheets.get(newThemeDef).push(styleSheet);
|
|
loadEvents.push(loadPromise);
|
|
}
|
|
|
|
// Floating scroll-bars like in OSX
|
|
let hiddenDOMWindow = Cc["@mozilla.org/appshell/appShellService;1"]
|
|
.getService(Ci.nsIAppShellService)
|
|
.hiddenDOMWindow;
|
|
|
|
// TODO: extensions might want to customize scrollbar styles too.
|
|
if (!hiddenDOMWindow.matchMedia("(-moz-overlay-scrollbars)").matches) {
|
|
if (newTheme == "dark") {
|
|
StylesheetUtils.loadSheet(window, SCROLLBARS_URL, "agent");
|
|
} else if (oldTheme == "dark") {
|
|
StylesheetUtils.removeSheet(window, SCROLLBARS_URL, "agent");
|
|
}
|
|
forceStyle();
|
|
}
|
|
|
|
Promise.all(loadEvents).then(() => {
|
|
// Unload all stylesheets and classes from the old theme.
|
|
if (oldThemeDef) {
|
|
for (let name of oldThemeDef.classList) {
|
|
documentElement.classList.remove(name);
|
|
}
|
|
|
|
for (let sheet of devtoolsStyleSheets.get(oldThemeDef) || []) {
|
|
sheet.remove();
|
|
}
|
|
|
|
if (oldThemeDef.onUnapply) {
|
|
oldThemeDef.onUnapply(window, newTheme);
|
|
}
|
|
}
|
|
|
|
// Load all stylesheets and classes from the new theme.
|
|
for (let name of newThemeDef.classList) {
|
|
documentElement.classList.add(name);
|
|
}
|
|
|
|
if (newThemeDef.onApply) {
|
|
newThemeDef.onApply(window, oldTheme);
|
|
}
|
|
|
|
// Final notification for further theme-switching related logic.
|
|
gDevTools.emit("theme-switched", window, newTheme, oldTheme);
|
|
notifyWindow();
|
|
}, console.error.bind(console));
|
|
}
|
|
|
|
function handlePrefChange(event, data) {
|
|
if (data.pref == "devtools.theme") {
|
|
switchTheme(data.newValue, data.oldValue);
|
|
}
|
|
}
|
|
|
|
const { classes: Cc, interfaces: Ci, utils: Cu } = Components;
|
|
const { require } = Cu.import("resource://devtools/shared/Loader.jsm", {});
|
|
const Services = require("Services");
|
|
const { gDevTools } = require("devtools/client/framework/devtools");
|
|
const StylesheetUtils = require("sdk/stylesheet/utils");
|
|
const { watchCSS } = require("devtools/client/shared/css-reload");
|
|
|
|
if (documentElement.hasAttribute("force-theme")) {
|
|
switchTheme(documentElement.getAttribute("force-theme"));
|
|
} else {
|
|
switchTheme(Services.prefs.getCharPref("devtools.theme"));
|
|
|
|
gDevTools.on("pref-changed", handlePrefChange);
|
|
window.addEventListener("unload", function () {
|
|
gDevTools.off("pref-changed", handlePrefChange);
|
|
});
|
|
}
|
|
|
|
watchCSS(window);
|
|
})();
|