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"); |
}, |
/** |