Index: lib/filterListener.js |
=================================================================== |
--- a/lib/filterListener.js |
+++ b/lib/filterListener.js |
@@ -30,6 +30,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. |
@@ -95,6 +101,8 @@ |
{ |
FilterStorage.resetHitCounts(); |
FilterListener.setDirty(0); // Force saving to disk |
+ if (FilterHits) |
+ FilterHits.resetFilterHits(); |
Prefs.recentReports = []; |
} |