Unified Diff: lib/filterListener.js
Issue 29336735:
Issue 394 - hit statistics tool data collection (core) (Closed)
Patch Set: Use Downloader to send the data to server
Created April 6, 2016, 2:55 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« lib/downloader.js ('k')
|
lib/filterStorage.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| 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 = []; |
| } |
« no previous file with comments
|
« lib/downloader.js ('k')
|
lib/filterStorage.js » ('j')
|
no next file with comments »
