Grammalecte  Diff

Differences From Artifact [94e55b71a5]:

To Artifact [3a88cd4eaf]:


1
2
3
4
5
6

7
8
9
10
11
12
13
1
2
3
4


5
6
7
8
9
10
11
12




-
-
+







// Background

"use strict";

console.log("THUNDERBIRD!!! BACKGROUND");

// Draft for later

const oWorkerHandler = {
    xGCEWorker: null,

    nLastTimeWorkerResponse: 0,  // milliseconds since 1970-01-01

    oTask: {},
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
113
114
115
116
117
118
119

120
121
122
123
124
125
126







-







        browser.storage.local.get("autorefresh_option").then(this._initUIOptions, showError);
    },

    initGrammarChecker: function () {
        browser.storage.local.get("gc_options").then(this._initGrammarChecker, showError);
        browser.storage.local.get("personal_dictionary").then(this._setSpellingDictionaries, showError);
        browser.storage.local.get("community_dictionary").then(this._setSpellingDictionaries, showError);
        browser.storage.local.get("oPersonalDictionary").then(this._setSpellingDictionaries, showError); // deprecated
        browser.storage.local.get("sc_options").then(this._initSCOptions, showError);
    },

    _initUIOptions: function (oSavedOptions) {
        if (!oSavedOptions.hasOwnProperty("ui_options")) {
            browser.storage.local.set({"ui_options": {
                textarea: true,