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