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