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