Make sure to indicate to Chrome when our filters change

webrequest.js

 /*
  * This file is part of the Adblock Plus extension,
  * Copyright (C) 2006-2012 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 26 matching lines @@
   'load': true
 };
 
 require("filterNotifier").FilterNotifier.addListener(function(action)
 {
   if (action in importantNotifications)
   {
     // Execute delayed to prevent multiple executions in a quick succession
     if (onFilterChangeTimeout != null)
       window.clearTimeout(onFilterChangeTimeout);
-    window.setTimeout(onFilterChange, 2000);

[Thomas Greiner, 2012/10/30 10:17:22]

set onFilterChangeTimeout variable
otherwise it will always be null

+    onFilterChangeTimeout = window.setTimeout(onFilterChange, 2000);
   }
 });
 
 var frames = {};
 
 function onBeforeRequest(details)
 {
   if (details.tabId == -1)
     return {};
 
@@ skipping 141 matching lines @@
   {
     var parentUrl = getFrameUrl(tabId, parent);
     if (parentUrl && isWhitelisted(parentUrl, type))
       return true;
     if (parentUrl && "keyException" in frames[tabId][frameId])
       return true;
     parent = getFrameParent(tabId, parent);
   }
   return false;
 }