| Index: lib/whitelisting.js | 
| =================================================================== | 
| --- a/lib/whitelisting.js | 
| +++ b/lib/whitelisting.js | 
| @@ -128,20 +128,20 @@ | 
| FilterNotifier.emit( | 
| "page.WhitelistingStateRevalidate", | 
| page, checkWhitelisted(page) | 
| ); | 
| } | 
|  | 
| FilterNotifier.on("filter.behaviorChanged", () => | 
| { | 
| -  ext.pages.query({}, pages => | 
| +  chrome.tabs.query({}, tabs => | 
| { | 
| -    for (let page of pages) | 
| -      revalidateWhitelistingState(page); | 
| +    for (let tab of tabs) | 
| +      revalidateWhitelistingState(new ext.Page(tab)); | 
| }); | 
| }); | 
|  | 
| ext.pages.onLoading.addListener(revalidateWhitelistingState); | 
|  | 
| let getKey = | 
| /** | 
| * Gets the public key, previously recorded for the given page | 
|  |