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