adblockplusopera: Port UI code from Chrome

options.js

 var backgroundPage = opera.extension.bgProcess;
 var imports = ["FilterStorage", "FilterNotifier", "Subscription", "SpecialSubscription",
                "DownloadableSubscription", "Filter", "WhitelistFilter",
                "Synchronizer", "Prefs", "Utils", "require"];
 for (var i = 0; i < imports.length; i++)
   window[imports[i]] = backgroundPage[imports[i]];
 
 // Loads options from localStorage and sets UI elements accordingly
 function loadOptions()
 {
@@ skipping 21 matching lines @@
 
   // Display jQuery UI elements
   $("#tabs").tabs();
   $("button").button();
   $(".refreshButton").button("option", "icons", {primary: "ui-icon-refresh"});
   $(".addButton").button("option", "icons", {primary: "ui-icon-plus"});
   $(".removeButton").button("option", "icons", {primary: "ui-icon-minus"});
 
   // Popuplate option checkboxes
   initCheckbox("shouldShowIcon");
-  initCheckbox("shouldShowBlockElementMenu");
-  initCheckbox("disableInlineTextAds");
-  initCheckbox("hidePlaceholders");
+  $("#shouldShowIcon").click(backgroundPage.refreshToolbarButton);
 
   // Load recommended subscriptions
   loadRecommendations();
 
   // Show user's filters
   reloadFilters();
 }
 $(loadOptions);
 
 // Reloads the displayed subscriptions and filters
@@ skipping 522 matching lines @@
     if (subscription.disabled == !enabled.checked)
       return;
 
     subscription.disabled = !enabled.checked;
   }, false);
 
   updateSubscriptionInfo(element);
 
   document.getElementById("filterLists").appendChild(element);
 }