588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
|
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
|
-
+
|
let sMinutes = (oDate.getMinutes()).toString().padStart(2, "0");
return `${oDate.getFullYear()}-${sMonth}-${sDay}, ${sHours}:${sMinutes}`;
}
}
const oBinaryDict = {
//
oJSON: null,
load: function () {
if (bChrome) {
browser.storage.local.get("oDictionary", this._load);
return;
}
|
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
|
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
|
-
-
+
+
+
|
this.oJSON = oDAWG.createBinary(1);
this.save();
oWidgets.hideElement("build_progress");
oWidgets.showElement("export_button");
// debug
console.log(oDAWG.morph("finis"));
let oIBDAWG = new IBDAWG(this.oJSON);
let lEntry2 = oIBDAWG.select();
console.log(lEntry2);
for (let e of oIBDAWG.select()) {
console.log(e);
}
},
save: function () {
browser.storage.local.set({ "oDictionary": this.oJSON });
},
import: function () {
|