Huge hack: Opera doesn`t fire an unload event, make sure we can deal with that

options.js

+// Opera hack: wrap onFilterChange to make sure it won't get called after page
+// unload (Opera doesn't fire the unload event).
+var origOnFilterChange = window.onFilterChange;
+window.onFilterChange = function()
+{
+  if (typeof document.createElement("dummy") === "undefined")
+  {
+    var event = document.createEvent("Events");
+    event.initEvent("unload", false, false);
+    window.dispatchEvent(event);
+    return undefined;
+  }
+  else
+    return origOnFilterChange.apply(this, arguments);
+}
+
 var backgroundPage = opera.extension.bgProcess;
 var require = backgroundPage.require;
 
 with(require("filterClasses"))
 {
   this.Filter = Filter;
   this.WhitelistFilter = WhitelistFilter;
 }
 with(require("subscriptionClasses"))
 {
@@ skipping 580 matching lines @@
     if (subscription.disabled == !enabled.checked)
       return;
 
     subscription.disabled = !enabled.checked;
   }, false);
 
   updateSubscriptionInfo(element);
 
   document.getElementById("filterLists").appendChild(element);
 }