Grammalecte  Diff

Differences From Artifact [bc6f49ada9]:

To Artifact [d4a9648f0c]:


48
49
50
51
52
53
54
55

56
57
58





59
60



61
62
63

64
65
66
67
68
69
70
71
48
49
50
51
52
53
54

55
56
57
58
59
60
61
62
63


64
65
66
67
68

69

70
71
72
73
74
75
76







-
+



+
+
+
+
+
-
-
+
+
+


-
+
-







                browser.runtime.sendMessage({sCommand: "fulltests_result", sResult: result});
                break;
            case "getOptions":
            case "getDefaultOptions":
            case "setOptions":
            case "setOption":
                console.log("OPTIONS");
                console.log(e.data[1]);
                
                break;
            case "getListOfTokens":
                console.log("TOKENS");
                if (typeof(dInfo.iReturnPort) === "number") {
                    let xPort = aConnx[dInfo.iReturnPort];
                    xPort.postMessage(e.data);
                } else {
                    console.log("[background] don’t know where to send results");
                console.log(e.data[1]);
                let xLxgTab = browser.tabs.create({
                    console.log(e.data);
                }
                /*let xLxgTab = browser.tabs.create({
                    url: browser.extension.getURL("panel/lexicographer.html"),
                });
                xLxgTab.then(onCreated, onError);
                xLxgTab.then(onCreated, onError);*/
                break;
                break;
            default:
                console.log("Unknown command: " + sActionDone);
                console.log(result);
        }
    }
    catch (e) {