| 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; |
|
Thomas Greiner
2016/12/07 15:43:34
What about the preference's default value in lib/p
Wladimir Palant
2016/12/08 12:48:14
Well, with the extension going to be unsupported t
|
| -} |
| - |
| 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() |