| Index: webrequest.js |
| =================================================================== |
| --- a/webrequest.js |
| +++ b/webrequest.js |
| @@ -18,13 +18,6 @@ |
| var FilterNotifier = require("filterNotifier").FilterNotifier; |
| var platform = require("info").platform; |
| -var onFilterChangeTimeout = null; |
| -function onFilterChange() |
| -{ |
| - onFilterChangeTimeout = null; |
| - ext.webRequest.handlerBehaviorChanged(); |
| -} |
| - |
| var importantNotifications = { |
| 'filter.added': true, |
| 'filter.removed': true, |
| @@ -39,12 +32,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) |