Grammalecte  Diff

Differences From Artifact [180d15c853]:

To Artifact [5671ec1d6b]:


187
188
189
190
191
192
193
194
195


196
197
198
199
200
201
202
187
188
189
190
191
192
193


194
195
196
197
198
199
200
201
202







-
-
+
+







        }
        case "getListOfTokens": {
            let xPort = dConnx.get(xTab.id);
            xPort.postMessage({sActionDone: "openLxgPanel", result: null, dInfo: null, bEnd: false, bError: false});
            xGCEWorker.postMessage({
                sCommand: "getListOfTokens",
                dParam: {sText: xInfo.selectionText},
                dInfo: {iReturnPort: xTab.id}}
            );
                dInfo: {iReturnPort: xTab.id}
            });
            break;
        }
        case "conjugueur_panel":
            let xConjWindow = browser.windows.create({
                url: browser.extension.getURL("panel/conjugueur.html"),
                type: "detached_panel",
                width: 710,