| Index: lib/main.js | 
| =================================================================== | 
| --- a/lib/main.js | 
| +++ b/lib/main.js | 
| @@ -14,8 +14,6 @@ | 
| let {TimeLine} = require("timeline"); | 
| TimeLine.enter("Adblock Plus startup"); | 
| -let {Prefs} = require("prefs"); | 
| -TimeLine.log("Done loading preferences"); | 
| registerPublicAPI(); | 
| TimeLine.log("Done registering public API"); | 
| require("filterListener"); | 
| @@ -28,24 +26,8 @@ | 
| TimeLine.log("Done loading sync support"); | 
| require("ui"); | 
| TimeLine.log("Done loading UI integration code"); | 
| -if (!Prefs.correctTyposAsked || (Prefs.correctTyposAsked && Prefs.correctTypos)) | 
| -{ | 
| - require("typoFixer"); | 
| - TimeLine.log("Done loading typo correction"); | 
| -} | 
| -else | 
| -{ | 
| - let onPrefChange = function(name) | 
| - { | 
| - if (name == "correctTypos") | 
| - { | 
| - require("typoFixer"); | 
| - Prefs.removeListener(onPrefChange); | 
| - } | 
| - } | 
| - | 
| - Prefs.addListener(onPrefChange); | 
| -} | 
| +require("typoBootstrap"); | 
| +TimeLine.log("Done loading typo correction"); | 
| TimeLine.leave("Started up"); | 
| function registerPublicAPI() |