| Index: lib/devtools.js | 
| =================================================================== | 
| --- a/lib/devtools.js | 
| +++ b/lib/devtools.js | 
| @@ -135,13 +135,15 @@ | 
| thirdParty, sitekey, | 
| specificOnly, filter) | 
| { | 
| - if (panels.size == 0) | 
| - return; | 
| - | 
| - let request = {url, type, docDomain, thirdParty, sitekey, specificOnly}; | 
| - for (let [tabId, panel] of panels) | 
| - if ((tabIds.length == 0 || tabIds.includes(tabId)) && isActivePanel(panel)) | 
| + for (let tabId of tabIds) | 
| + { | 
| + let panel = getActivePanel(tabId); | 
| + if (panel) | 
| + { | 
| + let request = {url, type, docDomain, thirdParty, sitekey, specificOnly}; | 
| addRecord(panel, request, filter); | 
| + } | 
| + } | 
| }; | 
| /** |