Index: lib/filterListener.js |
=================================================================== |
--- a/lib/filterListener.js |
+++ b/lib/filterListener.js |
@@ -29,6 +29,7 @@ |
let {defaultMatcher} = require("matcher"); |
let {ActiveFilter, RegExpFilter, ElemHideBase} = require("filterClasses"); |
let {Prefs} = require("prefs"); |
+let {FilterHits} = require("filterHits"); |
/** |
* Value of the FilterListener.batchMode property. |
@@ -75,7 +76,11 @@ |
else |
isDirty += factor; |
if (isDirty >= 1) |
+ { |
FilterStorage.saveToDisk(); |
+ if (Prefs.sendstats) |
+ FilterHits.saveFilterHitsToDisk(); |
+ } |
} |
}; |
@@ -90,6 +95,7 @@ |
if (topic == "browser:purge-session-history" && Prefs.clearStatsOnHistoryPurge) |
{ |
FilterStorage.resetHitCounts(); |
+ FilterHits.resetFilterHits(); |
FilterListener.setDirty(0); // Force saving to disk |
Prefs.recentReports = []; |