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