Grammalecte  Diff

Differences From Artifact [67d345836f]:

To Artifact [200b11bbbc]:


101
102
103
104
105
106
107
108

109
110
111
112
113
114
115
101
102
103
104
105
106
107

108
109
110
111
112
113
114
115







-
+







    let {sActionDone, result, dInfo, bEnd, bError} = oMessage;
    switch(sActionDone) {
        case "textToTest":
        case "fullTests":
            showTestResult(result);
            break;
        case "resetOptions":
            setGCOptions(result);
            displayGCOptions(result);
            break;
        default:
            console.log("GRAMMALECTE. Unknown command: " + sActionDone);
    }
    //sendResponse({sCommand: "none", result: "done"});
}

125
126
127
128
129
130
131
132

133
134
135

136
137
138
139
140
141
142
125
126
127
128
129
130
131

132
133
134

135
136
137
138
139
140
141
142







-
+


-
+







        // hide them all
        for (let xNodePage of document.getElementsByClassName("page")) {
            xNodePage.style.display = "none";
        }
        // show the selected one
        document.getElementById(sPageName).style.display = "block";
        if (sPageName == "gc_options_page") {
            setGCOptionsFromStorage();
            displayGCOptionsLoadedFromStorage();
        }
        else if (sPageName == "ui_options_page") {
            setUIOptionsFromStorage();
            displayUIOptionsLoadedFromStorage();
        }
    }
    catch (e) {
        showError(e);
    }
}

172
173
174
175
176
177
178
179

180
181

182
183
184
185

186
187
188

189
190
191
192
193
194
195
172
173
174
175
176
177
178

179
180

181
182
183
184

185
186
187

188
189
190
191
192
193
194
195







-
+

-
+



-
+


-
+







}


/*
    UI options
*/

function setUIOptionsFromStorage () {
function displayUIOptionsLoadedFromStorage () {
    if (bChrome) {
        browser.storage.local.get("ui_options", setUIOptions);
        browser.storage.local.get("ui_options", displayUIOptions);
        return;
    }
    let xPromise = browser.storage.local.get("ui_options");
    xPromise.then(setUIOptions, showError);
    xPromise.then(displayUIOptions, showError);
}

function setUIOptions (dOptions) {
function displayUIOptions (dOptions) {
    if (!dOptions.hasOwnProperty("ui_options")) {
        console.log("no ui options found");
        return;
    }
    dOptions = dOptions.ui_options;
    for (let sOpt in dOptions) {
        if (document.getElementById("ui_option_"+sOpt)) {
205
206
207
208
209
210
211
212

213
214

215
216
217
218

219
220
221

222
223

224
225
226
227

228
229
230
231
232
233
234
235
236



237
238
239
240
241
242

243
244
205
206
207
208
209
210
211

212
213

214
215
216
217

218
219
220

221
222

223
224
225
226

227
228








229
230
231
232
233
234
235

236
237
238
239







-
+

-
+



-
+


-
+

-
+



-
+

-
-
-
-
-
-
-
-
+
+
+




-

+


    }});
}


/*
    GC options
*/
function setGCOptionsFromStorage () {
function displayGCOptionsLoadedFromStorage () {
    if (bChrome) {
        browser.storage.local.get("gc_options", _setGCOptions);
        browser.storage.local.get("gc_options", _displayGCOptions);
        return;
    }
    let xPromise = browser.storage.local.get("gc_options");
    xPromise.then(_setGCOptions, showError);
    xPromise.then(_displayGCOptions, showError);
}

function _setGCOptions (dSavedOptions) {
function _displayGCOptions (dSavedOptions) {
    if (dSavedOptions.hasOwnProperty("gc_options")) {
        setGCOptions(dSavedOptions.gc_options);
        displayGCOptions(dSavedOptions.gc_options);
    }
}

function setGCOptions (dOptions) {
function displayGCOptions (oOptions) {
    try {
        // dOptions is supposed to be a Map
        if (bChrome) {
            // JS crap again. Chrome can’t store/send Map object.
            dOptions = helpers.objectToMap(dOptions);
        }
        for (let [sOpt, bVal] of dOptions) {
            if (document.getElementById("option_"+sOpt)) {
                document.getElementById("option_"+sOpt).checked = bVal;
        for (let sParam in oOptions) {
            if (document.getElementById("option_"+sParam)) {
                document.getElementById("option_"+sParam).checked = oOptions[sParam];
            }
        }
    }
    catch (e) {
        console.log(dOptions);
        showError(e);
        console.log(oOptions);
    }
}