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