| Index: lib/filterListener.js | 
| =================================================================== | 
| --- a/lib/filterListener.js | 
| +++ b/lib/filterListener.js | 
| @@ -236,31 +236,31 @@ | 
| 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 && | 
| - !subscription.disabled) | 
| + if (!subscription.disabled && | 
| + FilterStorage.knownSubscriptions.has(subscription.url)) | 
| { | 
| subscription.oldFilters.forEach(removeFilter); | 
| addFilters(subscription.filters); | 
| } | 
| } | 
| function onFilterHitCount(filter, newValue) | 
| { |