зеркало из https://github.com/mozilla/gecko-dev.git
143 строки
5.0 KiB
JavaScript
143 строки
5.0 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/. */
|
|
|
|
/**
|
|
* Listeners for the DevEdition theme. This adds an extra stylesheet
|
|
* to browser.xul if a pref is set and no other themes are applied.
|
|
*/
|
|
var DevEdition = {
|
|
_devtoolsThemePrefName: "devtools.theme",
|
|
styleSheetLocation: "chrome://browser/skin/devedition.css",
|
|
styleSheet: null,
|
|
initialized: false,
|
|
|
|
get isStyleSheetEnabled() {
|
|
return this.styleSheet && !this.styleSheet.sheet.disabled;
|
|
},
|
|
|
|
get isThemeCurrentlyApplied() {
|
|
let theme = LightweightThemeManager.currentTheme;
|
|
return theme && theme.id == "firefox-devedition@mozilla.org";
|
|
},
|
|
|
|
init: function() {
|
|
this.initialized = true;
|
|
Services.prefs.addObserver(this._devtoolsThemePrefName, this, false);
|
|
Services.obs.addObserver(this, "lightweight-theme-styling-update", false);
|
|
Services.obs.addObserver(this, "lightweight-theme-window-updated", false);
|
|
this._updateDevtoolsThemeAttribute();
|
|
|
|
if (this.isThemeCurrentlyApplied) {
|
|
this._toggleStyleSheet(true);
|
|
}
|
|
},
|
|
|
|
createStyleSheet: function() {
|
|
let styleSheetAttr = `href="${this.styleSheetLocation}" type="text/css"`;
|
|
this.styleSheet = document.createProcessingInstruction(
|
|
"xml-stylesheet", styleSheetAttr);
|
|
this.styleSheet.addEventListener("load", this);
|
|
document.insertBefore(this.styleSheet, document.documentElement);
|
|
this.styleSheet.sheet.disabled = true;
|
|
},
|
|
|
|
observe: function(subject, topic, data) {
|
|
if (topic == "lightweight-theme-styling-update") {
|
|
let newTheme = JSON.parse(data);
|
|
if (newTheme && newTheme.id == "firefox-devedition@mozilla.org") {
|
|
this._toggleStyleSheet(true);
|
|
} else {
|
|
this._toggleStyleSheet(false);
|
|
}
|
|
} else if (topic == "lightweight-theme-window-updated" && subject == window) {
|
|
this._updateLWTBrightness();
|
|
}
|
|
|
|
if (topic == "nsPref:changed" && data == this._devtoolsThemePrefName) {
|
|
this._updateDevtoolsThemeAttribute();
|
|
}
|
|
},
|
|
|
|
_inferBrightness: function() {
|
|
ToolbarIconColor.inferFromText();
|
|
// Get an inverted full screen button if the dark theme is applied.
|
|
if (this.isStyleSheetEnabled &&
|
|
document.documentElement.getAttribute("devtoolstheme") == "dark") {
|
|
document.documentElement.setAttribute("brighttitlebarforeground", "true");
|
|
} else {
|
|
document.documentElement.removeAttribute("brighttitlebarforeground");
|
|
}
|
|
},
|
|
|
|
_updateLWTBrightness() {
|
|
if (this.isThemeCurrentlyApplied) {
|
|
let devtoolsTheme = Services.prefs.getCharPref(this._devtoolsThemePrefName);
|
|
let textColor = devtoolsTheme == "dark" ? "bright" : "dark";
|
|
document.documentElement.setAttribute("lwthemetextcolor", textColor);
|
|
}
|
|
},
|
|
|
|
_updateDevtoolsThemeAttribute: function() {
|
|
// Set an attribute on root element to make it possible
|
|
// to change colors based on the selected devtools theme.
|
|
let devtoolsTheme = Services.prefs.getCharPref(this._devtoolsThemePrefName);
|
|
if (devtoolsTheme != "dark") {
|
|
devtoolsTheme = "light";
|
|
}
|
|
document.documentElement.setAttribute("devtoolstheme", devtoolsTheme);
|
|
this._updateLWTBrightness();
|
|
this._inferBrightness();
|
|
},
|
|
|
|
handleEvent: function(e) {
|
|
if (e.type === "load") {
|
|
this.styleSheet.removeEventListener("load", this);
|
|
this.refreshBrowserDisplay();
|
|
}
|
|
},
|
|
|
|
refreshBrowserDisplay: function() {
|
|
// Don't touch things on the browser if gBrowserInit.onLoad hasn't
|
|
// yet fired.
|
|
if (this.initialized) {
|
|
gBrowser.tabContainer._positionPinnedTabs();
|
|
this._inferBrightness();
|
|
}
|
|
},
|
|
|
|
_toggleStyleSheet: function(deveditionThemeEnabled) {
|
|
let wasEnabled = this.isStyleSheetEnabled;
|
|
if (deveditionThemeEnabled && !wasEnabled) {
|
|
// The stylesheet may not have been created yet if it wasn't
|
|
// needed on initial load. Make it now.
|
|
if (!this.styleSheet) {
|
|
this.createStyleSheet();
|
|
}
|
|
this.styleSheet.sheet.disabled = false;
|
|
this.refreshBrowserDisplay();
|
|
} else if (!deveditionThemeEnabled && wasEnabled) {
|
|
this.styleSheet.sheet.disabled = true;
|
|
this.refreshBrowserDisplay();
|
|
}
|
|
},
|
|
|
|
uninit: function() {
|
|
Services.prefs.removeObserver(this._devtoolsThemePrefName, this);
|
|
Services.obs.removeObserver(this, "lightweight-theme-styling-update", false);
|
|
Services.obs.removeObserver(this, "lightweight-theme-window-updated", false);
|
|
if (this.styleSheet) {
|
|
this.styleSheet.removeEventListener("load", this);
|
|
}
|
|
this.styleSheet = null;
|
|
}
|
|
};
|
|
|
|
// If the DevEdition theme is going to be applied in gBrowserInit.onLoad,
|
|
// then preload it now. This prevents a flash of unstyled content where the
|
|
// normal theme is applied while the DevEdition stylesheet is loading.
|
|
if (!AppConstants.RELEASE_OR_BETA &&
|
|
this != Services.appShell.hiddenDOMWindow && DevEdition.isThemeCurrentlyApplied) {
|
|
DevEdition.createStyleSheet();
|
|
}
|