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