Index: lib/ui.js |
=================================================================== |
--- a/lib/ui.js |
+++ b/lib/ui.js |
@@ -21,7 +21,6 @@ |
let {Utils} = require("utils"); |
let {Prefs} = require("prefs"); |
let {Policy} = require("contentPolicy"); |
-let {FilterListener} = require("filterListener"); |
let {FilterStorage} = require("filterStorage"); |
let {FilterNotifier} = require("filterNotifier"); |
let {RequestNotifier} = require("requestNotifier"); |
@@ -1190,7 +1189,6 @@ |
return; |
FilterStorage.resetHitCounts(); |
- FilterListener.setDirty(0); // Force saving to disk |
Prefs.savestats = false; |
} |
else |