| 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() | 
|  |