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); |
+ } |
+ } |
}; |
/** |