| Index: lib/devtools.js | 
| =================================================================== | 
| --- a/lib/devtools.js | 
| +++ b/lib/devtools.js | 
| @@ -22,6 +22,8 @@ | 
| let {FilterStorage} = require("filterStorage"); | 
| let {defaultMatcher} = require("matcher"); | 
| let {FilterNotifier} = require("filterNotifier"); | 
| +let {extractHostFromFrame} = require("url"); | 
| +let {port} = require("messaging"); | 
| const nonRequestTypes = ["DOCUMENT", "ELEMHIDE", "GENERICBLOCK", "GENERICHIDE"]; | 
| @@ -155,7 +157,7 @@ | 
| * @param {string[]} selectors The CSS selectors of active elemhide filters | 
| * @param {string} docDomain The IDN-decoded hostname of the document | 
| */ | 
| -exports.logHiddenElements = function(page, selectors, docDomain) | 
| +function logHiddenElements(page, selectors, docDomain) | 
| { | 
| let panel = getActivePanel(page); | 
| { | 
| @@ -380,3 +382,11 @@ | 
| panels[inspectedTabId] = {port: port, records: []}; | 
| }); | 
| + | 
| +port.on("devtools.traceElemHide", (message, sender) => | 
| +{ | 
| + logHiddenElements( | 
| + message.page, message.selectors, | 
| + extractHostFromFrame(sender.frame) | 
| + ); | 
| +}); |