Index: background.js |
=================================================================== |
--- a/background.js |
+++ b/background.js |
@@ -34,16 +34,22 @@ var Prefs = require("prefs").Prefs; |
var Synchronizer = require("synchronizer").Synchronizer; |
var Utils = require("utils").Utils; |
var Notification = require("notification").Notification; |
// Some types cannot be distinguished |
RegExpFilter.typeMap.OBJECT_SUBREQUEST = RegExpFilter.typeMap.OBJECT; |
RegExpFilter.typeMap.MEDIA = RegExpFilter.typeMap.FONT = RegExpFilter.typeMap.OTHER; |
+window.setTimeout(function() |
+{ |
+ // Opera hack: This is the last script to load, asynchronous callbacks can run now. |
+ Utils.runAsync.enable(); |
+}, 0); |
+ |
var isFirstRun = false; |
var seenDataCorruption = false; |
require("filterNotifier").FilterNotifier.addListener(function(action) |
{ |
if (action == "load") |
{ |
importOldData(); |