| Index: background.js | 
| =================================================================== | 
| --- a/background.js | 
| +++ b/background.js | 
| @@ -37,7 +37,6 @@ | 
| var ElemHide = require("elemHide").ElemHide; | 
| var defaultMatcher = require("matcher").defaultMatcher; | 
| var Prefs = require("prefs").Prefs; | 
| -var showNextNotificationForUrl = require("notificationHelper").showNextNotificationForUrl; | 
| var port = require("messaging").port; | 
| var devtools = require("devtools"); | 
|  | 
| @@ -144,10 +143,3 @@ | 
| targetPage.sendMessage(msg.payload); | 
| } | 
| }); | 
| - | 
| -// update icon when page changes location | 
| -ext.pages.onLoading.addListener(function(page) | 
| -{ | 
| -  page.sendMessage({type: "composer.content.finished"}); | 
| -  showNextNotificationForUrl(page.url); | 
| -}); | 
|  |