| Index: lib/devtools.js |
| diff --git a/lib/devtools.js b/lib/devtools.js |
| index 2fdf5ec8ccde7a433a87bbac8e844519b33fb528..8ae5bfa38861a229491b1a0b4794a53b92f9a618 100644 |
| --- a/lib/devtools.js |
| +++ b/lib/devtools.js |
| @@ -17,7 +17,11 @@ |
| "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 +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; |