| Index: lib/filterListener.js |
| =================================================================== |
| --- a/lib/filterListener.js |
| +++ b/lib/filterListener.js |
| @@ -32,6 +32,12 @@ |
| let {ActiveFilter, RegExpFilter, ElemHideBase, CSSPropertyFilter} = |
| require("filterClasses"); |
| let {Prefs} = require("prefs"); |
| +let FilterHits = null; |
| +try |
| +{ |
| + ({FilterHits} = require("filterHits")); |
| +} |
| +catch (e) {} |
| /** |
| * Value of the FilterListener.batchMode property. |
| @@ -97,6 +103,8 @@ |
| { |
| FilterStorage.resetHitCounts(); |
| FilterListener.setDirty(0); // Force saving to disk |
| + if (FilterHits) |
| + FilterHits.resetFilterHits(); |
| Prefs.recentReports = []; |
| } |