| Index: lib/elemHide.js |
| =================================================================== |
| --- a/lib/elemHide.js |
| +++ b/lib/elemHide.js |
| @@ -168,17 +168,22 @@ |
| // Conditionally applied element hiding filters |
| else |
| { |
| let domains = filter.domains || defaultDomains; |
| for (let domain of domains.keys()) |
| { |
| let filters = filtersByDomain.get(domain); |
| if (filters) |
| + { |
| filters.delete(filter); |
| + |
| + if (filters.size == 0) |
| + filtersByDomain.delete(domain); |
| + } |
| } |
| } |
| knownFilters.delete(filter); |
| FilterNotifier.emit("elemhideupdate"); |
| }, |
| /** |