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