Index: webrequest.js |
=================================================================== |
--- a/webrequest.js |
+++ b/webrequest.js |
@@ -19,13 +19,6 @@ |
var RegExpFilter = require("filterClasses").RegExpFilter; |
var platform = require("info").platform; |
-var onFilterChangeTimeout = null; |
-function onFilterChange() |
-{ |
- onFilterChangeTimeout = null; |
- ext.webRequest.handlerBehaviorChanged(); |
-} |
- |
var importantNotifications = { |
'filter.added': true, |
'filter.removed': true, |
@@ -46,12 +39,7 @@ |
FilterNotifier.addListener(function(action) |
{ |
if (action in importantNotifications) |
- { |
- // Execute delayed to prevent multiple executions in a quick succession |
- if (onFilterChangeTimeout != null) |
- window.clearTimeout(onFilterChangeTimeout); |
- onFilterChangeTimeout = window.setTimeout(onFilterChange, 2000); |
- } |
+ ext.webRequest.handlerBehaviorChanged(); |
}); |
function onBeforeRequest(url, type, page, frame) |