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