| Index: lib/devtools.js |
| diff --git a/lib/devtools.js b/lib/devtools.js |
| index 89c50d4342816f4072cae2225c20d63fb6e44bd7..f1b40a0bfd538441c2cd91707c3278607368b058 100644 |
| --- a/lib/devtools.js |
| +++ b/lib/devtools.js |
| @@ -17,7 +17,11 @@ |
| "use strict"; |
| -const {RegExpFilter, WhitelistFilter, ElemHideFilter} = require("filterClasses"); |
| +const {RegExpFilter, |
| + WhitelistFilter, |
| + ElemHideFilter, |
| + ElemHideEmulationFilter} = require("filterClasses"); |
| + |
| const {SpecialSubscription} = require("subscriptionClasses"); |
| const {FilterStorage} = require("filterStorage"); |
| const {defaultMatcher} = require("matcher"); |
| @@ -160,6 +164,7 @@ exports.logRequest = function(page, url, type, docDomain, |
| function logHiddenElements(page, selectors, docDomain) |
| { |
| let panel = getActivePanel(page); |
| + if (panel) |
| { |
| for (let subscription of FilterStorage.subscriptions) |
| { |
| @@ -168,7 +173,8 @@ function logHiddenElements(page, selectors, docDomain) |
| for (let filter of subscription.filters) |
| { |
| - if (!(filter instanceof ElemHideFilter)) |
| + if (!(filter instanceof ElemHideFilter) && |
| + !(filter instanceof ElemHideEmulationFilter)) |
| continue; |
| if (selectors.indexOf(filter.selector) == -1) |
| continue; |