568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
|
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
|
-
+
-
+
-
+
-
+
+
-
+
|
const oBinaryDict = {
oIBDAWG: null,
load: function () {
if (bChrome) {
browser.storage.local.get("oDictionary", this._load);
browser.storage.local.get("oPersonalDictionary", this._load);
return;
}
let xPromise = browser.storage.local.get("oDictionary");
let xPromise = browser.storage.local.get("oPersonalDictionary");
xPromise.then(this._load.bind(this), showError);
},
_load: function (oResult) {
if (!oResult.hasOwnProperty("oDictionary")) {
if (!oResult.hasOwnProperty("oPersonalDictionary")) {
oWidgets.hideElement("export_button");
return;
}
let oJSON = oResult.oDictionary;
let oJSON = oResult.oPersonalDictionary;
this.oIBDAWG = new IBDAWG(oJSON);
let lEntry = [];
for (let s of this.oIBDAWG.select()) {
lEntry.push(s.split("\t"));
}
oLexicon.set(lEntry);
oWidgets.setDictData(this.oIBDAWG.nEntry, this.oIBDAWG.sDate);
oWidgets.showElement("export_button");
},
build: function (lEntry) {
oWidgets.showElement("build_progress");
let xProgressNode = document.getElementById("build_progress");
let oDAWG = new DAWG(lEntry, "S", "fr", "Français", "Dictionnaire personnel", xProgressNode);
let oJSON = oDAWG.createBinaryJSON(1);
this.save(oJSON);
this.oIBDAWG = new IBDAWG(oJSON);
oWidgets.setDictData(this.oIBDAWG.nEntry, this.oIBDAWG.sDate);
oWidgets.hideElement("build_progress");
oWidgets.showElement("export_button");
browser.runtime.sendMessage({ sCommand: "setDictionary", dParam: {sType: "personal", oDict: oJSON}, dInfo: {} });
},
save: function (oJSON) {
browser.storage.local.set({ "oDictionary": oJSON });
browser.storage.local.set({ "oPersonalDictionary": oJSON });
},
import: function () {
// TO DO
},
export: function () {
|