| Index: lib/devtools.js |
| diff --git a/lib/devtools.js b/lib/devtools.js |
| index 2fdf5ec8ccde7a433a87bbac8e844519b33fb528..d728f326abd0a9d1fd66551478f1b304fb122b01 100644 |
| --- a/lib/devtools.js |
| +++ b/lib/devtools.js |
| @@ -17,7 +17,13 @@ |
| "use strict"; |
| -let {RegExpFilter, WhitelistFilter, ElemHideFilter} = require("filterClasses"); |
| +let { |
| + RegExpFilter, |
| + WhitelistFilter, |
| + ElemHideFilter, |
| + ElemHideEmulationFilter |
| +} = require("filterClasses"); |
| + |
| let {SpecialSubscription} = require("subscriptionClasses"); |
| let {FilterStorage} = require("filterStorage"); |
| let {defaultMatcher} = require("matcher"); |
| @@ -160,6 +166,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 +175,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; |