2013-05-03 23:31:07 -07:00
|
|
|
/* 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/. */
|
|
|
|
|
|
|
|
"use strict";
|
|
|
|
|
2013-06-20 13:18:56 -07:00
|
|
|
const {Cu, Cc, Ci} = require("chrome");
|
2013-05-03 23:31:07 -07:00
|
|
|
|
2013-07-11 00:12:20 -07:00
|
|
|
let promise = require("sdk/core/promise");
|
2013-05-03 23:31:07 -07:00
|
|
|
let EventEmitter = require("devtools/shared/event-emitter");
|
|
|
|
|
2013-05-28 12:36:16 -07:00
|
|
|
Cu.import('resource://gre/modules/XPCOMUtils.jsm');
|
2013-05-03 23:31:07 -07:00
|
|
|
Cu.import("resource://gre/modules/Services.jsm");
|
|
|
|
Cu.import("resource:///modules/devtools/gDevTools.jsm");
|
|
|
|
|
|
|
|
exports.OptionsPanel = OptionsPanel;
|
|
|
|
|
2013-05-28 12:36:16 -07:00
|
|
|
XPCOMUtils.defineLazyGetter(this, "l10n", function() {
|
|
|
|
let bundle = Services.strings.createBundle("chrome://browser/locale/devtools/toolbox.properties");
|
|
|
|
let l10n = function(aName, ...aArgs) {
|
|
|
|
try {
|
|
|
|
if (aArgs.length == 0) {
|
|
|
|
return bundle.GetStringFromName(aName);
|
|
|
|
} else {
|
|
|
|
return bundle.formatStringFromName(aName, aArgs, aArgs.length);
|
|
|
|
}
|
|
|
|
} catch (ex) {
|
|
|
|
Services.console.logStringMessage("Error reading '" + aName + "'");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
return l10n;
|
|
|
|
});
|
|
|
|
|
2013-05-03 23:31:07 -07:00
|
|
|
/**
|
|
|
|
* Represents the Options Panel in the Toolbox.
|
|
|
|
*/
|
|
|
|
function OptionsPanel(iframeWindow, toolbox) {
|
|
|
|
this.panelDoc = iframeWindow.document;
|
|
|
|
this.panelWin = iframeWindow;
|
2013-05-31 08:52:06 -07:00
|
|
|
this.toolbox = toolbox;
|
2013-06-22 20:00:51 -07:00
|
|
|
this.isReady = false;
|
2013-05-03 23:31:07 -07:00
|
|
|
|
|
|
|
EventEmitter.decorate(this);
|
|
|
|
};
|
|
|
|
|
|
|
|
OptionsPanel.prototype = {
|
|
|
|
|
2013-05-28 12:36:16 -07:00
|
|
|
get target() {
|
|
|
|
return this.toolbox.target;
|
|
|
|
},
|
|
|
|
|
2013-06-20 13:18:56 -07:00
|
|
|
open: function() {
|
2013-07-11 00:12:20 -07:00
|
|
|
let deferred = promise.defer();
|
2013-05-03 23:31:07 -07:00
|
|
|
|
|
|
|
this.setupToolsList();
|
|
|
|
this.populatePreferences();
|
|
|
|
|
2013-05-31 08:52:06 -07:00
|
|
|
this._disableJSClicked = this._disableJSClicked.bind(this);
|
|
|
|
|
|
|
|
let disableJSNode = this.panelDoc.getElementById("devtools-disable-javascript");
|
|
|
|
disableJSNode.addEventListener("click", this._disableJSClicked, false);
|
|
|
|
|
2013-06-22 20:00:51 -07:00
|
|
|
this.isReady = true;
|
2013-05-03 23:31:07 -07:00
|
|
|
this.emit("ready");
|
|
|
|
deferred.resolve(this);
|
|
|
|
return deferred.promise;
|
|
|
|
},
|
|
|
|
|
2013-06-20 13:18:56 -07:00
|
|
|
setupToolsList: function() {
|
2013-05-03 23:31:07 -07:00
|
|
|
let defaultToolsBox = this.panelDoc.getElementById("default-tools-box");
|
|
|
|
let additionalToolsBox = this.panelDoc.getElementById("additional-tools-box");
|
2013-05-28 12:36:16 -07:00
|
|
|
let toolsNotSupportedLabel = this.panelDoc.getElementById("tools-not-supported-label");
|
|
|
|
let atleastOneToolNotSupported = false;
|
2013-05-03 23:31:07 -07:00
|
|
|
|
|
|
|
defaultToolsBox.textContent = "";
|
|
|
|
additionalToolsBox.textContent = "";
|
|
|
|
|
|
|
|
let pref = function(key) {
|
|
|
|
try {
|
|
|
|
return Services.prefs.getBoolPref(key);
|
|
|
|
}
|
|
|
|
catch (ex) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
let onCheckboxClick = function(id) {
|
|
|
|
let toolDefinition = gDevTools._tools.get(id);
|
|
|
|
// Set the kill switch pref boolean to true
|
|
|
|
Services.prefs.setBoolPref(toolDefinition.visibilityswitch, this.checked);
|
|
|
|
if (this.checked) {
|
|
|
|
gDevTools.emit("tool-registered", id);
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
gDevTools.emit("tool-unregistered", toolDefinition);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2013-05-28 12:36:16 -07:00
|
|
|
let createToolCheckbox = tool => {
|
2013-05-03 23:31:07 -07:00
|
|
|
let checkbox = this.panelDoc.createElement("checkbox");
|
|
|
|
checkbox.setAttribute("id", tool.id);
|
|
|
|
checkbox.setAttribute("tooltiptext", tool.tooltip || "");
|
2013-05-28 12:36:16 -07:00
|
|
|
if (tool.isTargetSupported(this.target)) {
|
|
|
|
checkbox.setAttribute("label", tool.label);
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
atleastOneToolNotSupported = true;
|
|
|
|
checkbox.setAttribute("label",
|
|
|
|
l10n("options.toolNotSupportedMarker", tool.label));
|
2013-10-04 12:44:09 -07:00
|
|
|
checkbox.setAttribute("unsupported", "");
|
2013-05-28 12:36:16 -07:00
|
|
|
}
|
2013-05-03 23:31:07 -07:00
|
|
|
checkbox.setAttribute("checked", pref(tool.visibilityswitch));
|
|
|
|
checkbox.addEventListener("command", onCheckboxClick.bind(checkbox, tool.id));
|
2013-05-28 12:36:16 -07:00
|
|
|
return checkbox;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Populating the default tools lists
|
|
|
|
for (let tool of gDevTools.getDefaultTools()) {
|
|
|
|
if (tool.id == "options") {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
defaultToolsBox.appendChild(createToolCheckbox(tool));
|
2013-05-03 23:31:07 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
// Populating the additional tools list that came from add-ons.
|
|
|
|
let atleastOneAddon = false;
|
|
|
|
for (let tool of gDevTools.getAdditionalTools()) {
|
|
|
|
atleastOneAddon = true;
|
2013-05-28 12:36:16 -07:00
|
|
|
additionalToolsBox.appendChild(createToolCheckbox(tool));
|
2013-05-03 23:31:07 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
if (!atleastOneAddon) {
|
|
|
|
additionalToolsBox.style.display = "none";
|
|
|
|
additionalToolsBox.previousSibling.style.display = "none";
|
|
|
|
}
|
|
|
|
|
2013-05-28 12:36:16 -07:00
|
|
|
if (!atleastOneToolNotSupported) {
|
|
|
|
toolsNotSupportedLabel.style.display = "none";
|
|
|
|
}
|
|
|
|
|
2013-05-03 23:31:07 -07:00
|
|
|
this.panelWin.focus();
|
|
|
|
},
|
|
|
|
|
2013-06-20 13:18:56 -07:00
|
|
|
populatePreferences: function() {
|
2013-05-03 23:31:07 -07:00
|
|
|
let prefCheckboxes = this.panelDoc.querySelectorAll("checkbox[data-pref]");
|
|
|
|
for (let checkbox of prefCheckboxes) {
|
|
|
|
checkbox.checked = Services.prefs.getBoolPref(checkbox.getAttribute("data-pref"));
|
|
|
|
checkbox.addEventListener("command", function() {
|
|
|
|
let data = {
|
|
|
|
pref: this.getAttribute("data-pref"),
|
|
|
|
newValue: this.checked
|
|
|
|
};
|
|
|
|
data.oldValue = Services.prefs.getBoolPref(data.pref);
|
|
|
|
Services.prefs.setBoolPref(data.pref, data.newValue);
|
|
|
|
gDevTools.emit("pref-changed", data);
|
|
|
|
}.bind(checkbox));
|
|
|
|
}
|
|
|
|
let prefRadiogroups = this.panelDoc.querySelectorAll("radiogroup[data-pref]");
|
|
|
|
for (let radiogroup of prefRadiogroups) {
|
|
|
|
let selectedValue = Services.prefs.getCharPref(radiogroup.getAttribute("data-pref"));
|
|
|
|
for (let radio of radiogroup.childNodes) {
|
|
|
|
radiogroup.selectedIndex = -1;
|
|
|
|
if (radio.getAttribute("value") == selectedValue) {
|
|
|
|
radiogroup.selectedItem = radio;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
radiogroup.addEventListener("select", function() {
|
|
|
|
let data = {
|
|
|
|
pref: this.getAttribute("data-pref"),
|
|
|
|
newValue: this.selectedItem.getAttribute("value")
|
|
|
|
};
|
|
|
|
data.oldValue = Services.prefs.getCharPref(data.pref);
|
|
|
|
Services.prefs.setCharPref(data.pref, data.newValue);
|
|
|
|
gDevTools.emit("pref-changed", data);
|
|
|
|
}.bind(radiogroup));
|
|
|
|
}
|
2013-09-16 03:01:25 -07:00
|
|
|
let prefMenulists = this.panelDoc.querySelectorAll("menulist[data-pref]");
|
|
|
|
for (let menulist of prefMenulists) {
|
|
|
|
let pref = Services.prefs.getCharPref(menulist.getAttribute("data-pref"));
|
|
|
|
let menuitems = menulist.querySelectorAll("menuitem");
|
|
|
|
for (let menuitem of menuitems) {
|
|
|
|
let value = menuitem.getAttribute("value");
|
|
|
|
if (value === pref) {
|
|
|
|
menulist.selectedItem = menuitem;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
menulist.addEventListener("command", function() {
|
|
|
|
let data = {
|
|
|
|
pref: this.getAttribute("data-pref"),
|
|
|
|
newValue: this.value
|
|
|
|
};
|
|
|
|
data.oldValue = Services.prefs.getCharPref(data.pref);
|
|
|
|
Services.prefs.setCharPref(data.pref, data.newValue);
|
|
|
|
gDevTools.emit("pref-changed", data);
|
|
|
|
}.bind(menulist));
|
|
|
|
}
|
2013-05-03 23:31:07 -07:00
|
|
|
},
|
|
|
|
|
2013-05-31 08:52:06 -07:00
|
|
|
/**
|
|
|
|
* Disables JavaScript for the currently loaded tab. We force a page refresh
|
|
|
|
* here because setting docShell.allowJavascript to true fails to block JS
|
|
|
|
* execution from event listeners added using addEventListener(), AJAX calls
|
|
|
|
* and timers. The page refresh prevents these things from being added in the
|
|
|
|
* first place.
|
|
|
|
*
|
|
|
|
* @param {Event} event
|
|
|
|
* The event sent by checking / unchecking the disable JS checkbox.
|
|
|
|
*/
|
|
|
|
_disableJSClicked: function(event) {
|
|
|
|
let checked = event.target.checked;
|
|
|
|
let linkedBrowser = this.toolbox._host.hostTab.linkedBrowser;
|
|
|
|
let win = linkedBrowser.contentWindow;
|
|
|
|
let docShell = linkedBrowser.docShell;
|
|
|
|
|
|
|
|
if (typeof this.toolbox._origAllowJavascript == "undefined") {
|
|
|
|
this.toolbox._origAllowJavascript = docShell.allowJavascript;
|
|
|
|
}
|
|
|
|
|
|
|
|
docShell.allowJavascript = !checked;
|
|
|
|
win.location.reload();
|
|
|
|
},
|
|
|
|
|
2013-05-03 23:31:07 -07:00
|
|
|
destroy: function OP_destroy() {
|
2013-05-31 08:52:06 -07:00
|
|
|
let disableJSNode = this.panelDoc.getElementById("devtools-disable-javascript");
|
|
|
|
disableJSNode.removeEventListener("click", this._disableJSClicked, false);
|
|
|
|
|
|
|
|
this.panelWin = this.panelDoc = this.toolbox = this._disableJSClicked = null;
|
2013-05-03 23:31:07 -07:00
|
|
|
}
|
|
|
|
};
|