Grammalecte  Diff

Differences From Artifact [8312ea2175]:

To Artifact [b2a35ae675]:


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 () {