Index: chrome/content/common.js |
=================================================================== |
--- a/chrome/content/common.js |
+++ b/chrome/content/common.js |
@@ -37,7 +37,8 @@ |
} |
let {Filter, InvalidFilter, CommentFilter, ActiveFilter, RegExpFilter, |
- BlockingFilter, WhitelistFilter, ElemHideBase, ElemHideFilter, ElemHideException} = require("filterClasses"); |
+ BlockingFilter, WhitelistFilter, ElemHideBase, ElemHideFilter, |
+ ElemHideException, CSSPropertyFilter} = require("filterClasses"); |
let {Subscription, SpecialSubscription, RegularSubscription, |
ExternalSubscription, DownloadableSubscription} = require("subscriptionClasses"); |
let {defaultMatcher, Matcher, CombinedMatcher} = require("matcher"); |
@@ -45,6 +46,7 @@ |
let {FilterNotifier} = require("filterNotifier"); |
let {FilterStorage} = require("filterStorage"); |
let {ElemHide} = require("elemHide"); |
+let {CSSRules} = require("cssRules"); |
let {IO} = require("io"); |
let {Notification} = require("notification"); |
let {Prefs} = require("prefs"); |
@@ -83,6 +85,7 @@ |
defaultMatcher.clear(); |
ElemHide.clear(); |
+ CSSRules.clear(); |
} |
function restoreFilterComponents() |