Index: chrome/content/options.js |
=================================================================== |
--- a/chrome/content/options.js |
+++ b/chrome/content/options.js |
@@ -16,21 +16,16 @@ |
*/ |
Cu.import("resource://gre/modules/Services.jsm"); |
let {Prefs} = require("prefs"); |
Prefs.addListener(onPrefChange); |
window.addEventListener("unload", function() Prefs.removeListener(onPrefChange), false); |
-function initCheckboxes() |
-{ |
- E("domainOptIn").checked = Prefs.domainOptIn; |
-} |
- |
function onItemSelected(list) |
{ |
let button = E(list.getAttribute("_removeButton")); |
let items = list.selectedItems; |
button.disabled = (items.length == 0 || (items.length == 1 && !items[0].value)); |
} |
function onFindChange() |