| 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) |