diff options
Diffstat (limited to 'background/settings.js')
| -rw-r--r-- | background/settings.js | 6 | 
1 files changed, 5 insertions, 1 deletions
| diff --git a/background/settings.js b/background/settings.js index 34cdcdcc..a00317b0 100644 --- a/background/settings.js +++ b/background/settings.js @@ -43,7 +43,11 @@ var settings = {      // 1.31 was also the version where we converted all localStorage values to JSON.      if (!this.has("settingsVersion")) {        for (var key in localStorage) { -        localStorage[key] = JSON.stringify(localStorage[key]); +        // filterLinkHints' checkbox state used to be stored as a string +        if (key == "filterLinkHints") +          localStorage[key] = localStorage[key] === "true" ? true : false; +        else +          localStorage[key] = JSON.stringify(localStorage[key]);        }        this.set("settingsVersion", utils.getCurrentVersion());      } | 
