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