Index: lib/devtools.js |
=================================================================== |
--- a/lib/devtools.js |
+++ b/lib/devtools.js |
@@ -15,19 +15,19 @@ |
* along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
*/ |
"use strict"; |
const {RegExpFilter, |
WhitelistFilter, |
ElemHideFilter} = require("../adblockpluscore/lib/filterClasses"); |
-const {SpecialSubscription} = |
+const {SpecialSubscription, Subscription} = |
require("../adblockpluscore/lib/subscriptionClasses"); |
-const {FilterStorage} = require("../adblockpluscore/lib/filterStorage"); |
+const {filterStorage} = require("../adblockpluscore/lib/filterStorage"); |
const {defaultMatcher} = require("../adblockpluscore/lib/matcher"); |
const {filterNotifier} = require("../adblockpluscore/lib/filterNotifier"); |
const {extractHostFromFrame} = require("./url"); |
const {port} = require("./messaging"); |
const {HitLogger, nonRequestTypes} = require("./hitLogger"); |
let panels = new Map(); |
@@ -154,50 +154,55 @@ |
panel.reload = false; |
panel.reloading = true; |
} |
} |
function updateFilters(filters, added) |
{ |
+ let includes = filters.includes.bind(filters); |
Manish Jethani
2018/12/07 09:14:47
Sorry about my slightly misleading example earlier
Manish Jethani
2018/12/07 09:14:47
We also need to pass the `Subscription` object to
Manish Jethani
2018/12/07 09:18:22
On second thoughts, I think we should just add a n
Jon Sonesen
2018/12/09 15:52:09
What do you think about making it an optional para
Manish Jethani
2018/12/10 07:48:27
That would be fine but not very useful since the l
|
+ |
+ if (filters instanceof Subscription) |
+ includes = filter => filters.searchFilter(filter) != -1; |
+ |
for (let panel of panels.values()) |
{ |
for (let i = 0; i < panel.records.length; i++) |
{ |
let record = panel.records[i]; |
// If an added filter matches a request shown in the devtools panel, |
// update that record to show the new filter. Ignore filters that aren't |
// associated with any sub-resource request. There is no record for these |
// if they don't already match. In particular, in case of element hiding |
// filters, we also wouldn't know if any new element matches. |
if (added) |
{ |
- if (nonRequestTypes.includes(record.request.type)) |
+ if (includes(record.request.type)) |
Manish Jethani
2018/12/07 09:14:47
This appears to be incorrect.
Jon Sonesen
2018/12/09 15:52:09
Acknowledged.
|
continue; |
let filter = matchRequest(record.request); |
- if (!filters.includes(filter)) |
+ if (!includes(filter)) |
continue; |
record.filter = filter; |
} |
// If a filter shown in the devtools panel got removed, update that |
// record to show the filter that matches now, or none, instead. |
// For filters that aren't associated with any sub-resource request, |
// just remove the record. We wouldn't know whether another filter |
// matches instead until the page is reloaded. |
else |
{ |
- if (!filters.includes(record.filter)) |
+ if (!includes(record.filter)) |
continue; |
- if (nonRequestTypes.includes(record.request.type)) |
+ if (includes(record.request.type)) |
Manish Jethani
2018/12/07 09:14:47
This too appears to be incorrect.
Jon Sonesen
2018/12/09 15:52:09
Acknowledged.
|
{ |
panel.port.postMessage({ |
type: "remove-record", |
index: i |
}); |
panel.records.splice(i--, 1); |
continue; |
} |