| Index: lib/devtools.js |
| =================================================================== |
| --- a/lib/devtools.js |
| +++ b/lib/devtools.js |
| @@ -77,19 +77,21 @@ |
| function hasRecord(panel, request, filter) |
| { |
| return panel.records.some(record => |
| record.request.url == request.url && |
| record.request.docDomain == request.docDomain && |
| // Ignore partial (e.g. ELEMHIDE) whitelisting if there is already |
| // a DOCUMENT exception which disables all means of blocking. |
| - (record.request.type == "DOCUMENT" ? |
| - nonRequestTypes.includes(request.type) : |
| - record.request.type == request.type) && |
| + ( |
| + record.request.type == "DOCUMENT" ? |
| + nonRequestTypes.includes(request.type) : |
| + record.request.type == request.type |
| + ) && |
| // Matched element hiding filters don't relate to a particular request, |
| // so we have to compare the selector in order to avoid duplicates. |
| (record.filter && record.filter.selector) == (filter && filter.selector) |
| ); |
| } |
| function addRecord(panel, request, filter) |