Index: lib/filterListener.js |
=================================================================== |
--- a/lib/filterListener.js |
+++ b/lib/filterListener.js |
@@ -236,30 +236,30 @@ |
if (!subscription.disabled) |
subscription.filters.forEach(removeFilter); |
} |
function onSubscriptionDisabled(subscription, newValue) |
{ |
FilterListener.setDirty(1); |
- if (subscription.url in FilterStorage.knownSubscriptions) |
+ if (FilterStorage.knownSubscriptions.has(subscription.url)) |
{ |
if (newValue == false) |
addFilters(subscription.filters); |
else |
subscription.filters.forEach(removeFilter); |
} |
} |
function onSubscriptionUpdated(subscription) |
{ |
FilterListener.setDirty(1); |
- if (subscription.url in FilterStorage.knownSubscriptions && |
+ if (FilterStorage.knownSubscriptions.has(subscription.url) && |
!subscription.disabled) |
{ |
subscription.oldFilters.forEach(removeFilter); |
addFilters(subscription.filters); |
} |
} |
function onFilterHitCount(filter, newValue) |