| Index: lib/filterListener.js |
| =================================================================== |
| --- a/lib/filterListener.js |
| +++ b/lib/filterListener.js |
| @@ -262,16 +262,16 @@ function onFilterChange(action, filter, |
| function onGenericChange(action) |
| { |
| if (action == "load") |
| { |
| isDirty = 0; |
| defaultMatcher.clear(); |
| ElemHide.clear(); |
| - for each (let subscription in FilterStorage.subscriptions) |
| + for (let subscription of FilterStorage.subscriptions) |
| if (!subscription.disabled) |
| subscription.filters.forEach(addFilter); |
| flushElemHide(); |
| } |
| else if (action == "save") |
| isDirty = 0; |
| } |