| Index: webrequest.js |
| =================================================================== |
| --- a/webrequest.js |
| +++ b/webrequest.js |
| @@ -18,7 +18,7 @@ |
| var FilterNotifier = require("filterNotifier").FilterNotifier; |
| var RegExpFilter = require("filterClasses").RegExpFilter; |
| var platform = require("info").platform; |
| -var showNextNotification = require("notificationHelper").showNextNotification; |
| +var showNextNotificationForUrl = require("notificationHelper").showNextNotificationForUrl; |
| ext.webRequest.indistinguishableTypes.forEach(function(types) |
| { |
| @@ -52,7 +52,7 @@ |
| // We can't listen to onHeadersReceived in Safari so we need to |
| // check for notifications here |
| if (platform != "chromium" && type == "SUBDOCUMENT") |
| - showNextNotification(url); |
| + showNextNotificationForUrl(url); |
| if (filter) |
| FilterNotifier.triggerListeners("filter.hitCount", filter, 0, 0, page); |
| @@ -96,7 +96,7 @@ |
| processKey(header.value, page, frame); |
| } |
| - showNextNotification(new URL(details.url)); |
| + showNextNotificationForUrl(new URL(details.url)); |
| } |
| chrome.webRequest.onHeadersReceived.addListener( |