| Index: lib/filterListener.js |
| =================================================================== |
| --- a/lib/filterListener.js |
| +++ b/lib/filterListener.js |
| @@ -28,6 +28,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. |
| @@ -74,7 +75,11 @@ |
| else |
| isDirty += factor; |
| if (isDirty >= 1) |
| + { |
| FilterStorage.saveToDisk(); |
| + if (Prefs.sendstats) |
| + FilterHits.saveFilterHitsToDatabase(); |
| + } |
| } |
| }; |
| @@ -89,6 +94,7 @@ |
| if (topic == "browser:purge-session-history" && Prefs.clearStatsOnHistoryPurge) |
| { |
| FilterStorage.resetHitCounts(); |
| + FilterHits.resetFilterHits(); |
| FilterListener.setDirty(0); // Force saving to disk |
| Prefs.recentReports = []; |