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