Grammalecte  Check-in [e7ea319f54]

Overview
Comment:[fx] lexicon editor: graph debugging
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk | fx
Files: files | file ages | folders
SHA3-256: e7ea319f54da947bfb90dc27866a9a952d512a1d20f4cf828b74347595f3b5ad
User & Date: olr on 2018-02-09 10:31:23
Other Links: manifest | tags
Context
2018-02-09
10:34
[graphspell][js] useless commit: console.log() for debugging check-in: 2aa4af79ac user: olr tags: trunk, graphspell
10:31
[fx] lexicon editor: graph debugging check-in: e7ea319f54 user: olr tags: trunk, fx
10:30
[graphspell][js] dawg: select() function check-in: 7f19889b76 user: olr tags: trunk, graphspell
Changes

Modified gc_lang/fr/webext/panel/lex_editor.js from [b2a35ae675] to [3661f4f0a2].

619
620
621
622
623
624
625

626


627
628
629
630
631
632
633
        let xProgressNode = document.getElementById("build_progress");
        let oDAWG = new DAWG(lEntry, "Français - dictionnaire personnel", "S", xProgressNode);
        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);
        for (let e of oIBDAWG.select()) {
            console.log(e);
        }
    },

    save: function () {







>
|
>
>







619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
        let xProgressNode = document.getElementById("build_progress");
        let oDAWG = new DAWG(lEntry, "Français - dictionnaire personnel", "S", xProgressNode);
        this.oJSON = oDAWG.createBinary(1);
        this.save();
        oWidgets.hideElement("build_progress");
        oWidgets.showElement("export_button");
        // debug
        for (let e of oDAWG.select()) {
            console.log(e);
        }
        console.log("=======");
        let oIBDAWG = new IBDAWG(this.oJSON);
        for (let e of oIBDAWG.select()) {
            console.log(e);
        }
    },

    save: function () {