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