| 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 |