Overview
| Comment: | [fx] lexicon editor: deal with empty dictionary |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | fx | multid |
| Files: | files | file ages | folders |
| SHA3-256: |
019062699adf40659aaf43fc86decade |
| User & Date: | olr on 2018-03-21 07:48:43 |
| Other Links: | branch diff | manifest | tags |
Context
|
2018-03-21
| ||
| 08:07 | [lo] lexicon editor: deal with empty dictionary check-in: cac2434abd user: olr tags: lo, multid | |
| 07:48 | [fx] lexicon editor: deal with empty dictionary check-in: 019062699a user: olr tags: fx, multid | |
|
2018-03-20
| ||
| 20:54 | [fx] ui: new spinners check-in: 0ce3ed0d3c user: olr tags: fx, multid | |
Changes
Modified gc_lang/fr/webext/gce_worker.js from [42760d524d] to [cef372f281].
| ︙ | |||
316 317 318 319 320 321 322 323 324 325 326 327 328 329 | 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 | + + + + |
oSpellChecker.setMainDictionary(oDict);
postMessage(createResponse("setDictionary", true, dInfo, true));
break;
case "extended":
oSpellChecker.setExtendedDictionary(oDict);
postMessage(createResponse("setDictionary", true, dInfo, true));
break;
case "community":
oSpellChecker.setCommunityDictionary(oDict);
postMessage(createResponse("setDictionary", true, dInfo, true));
break;
case "personal":
oSpellChecker.setPersonalDictionary(oDict);
postMessage(createResponse("setDictionary", true, dInfo, true));
break;
default:
console.log("[worker] setDictionary: Unknown command");
}
|
| ︙ |
Modified gc_lang/fr/webext/panel/lex_editor.js from [5e92c774bb] to [ec0315fba1].
| ︙ | |||
497 498 499 500 501 502 503 | 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 | - + - - + + + + + + |
let xProgressNode = document.getElementById("wait_progress");
let lEntry = oLexiconTable.getEntries();
if (lEntry.length > 0) {
let oDAWG = new DAWG(lEntry, "S", "fr", "Français", "Dictionnaire personnel", xProgressNode);
let oJSON = oDAWG.createBinaryJSON(1);
browser.storage.local.set({ "oPersonalDictionary": oJSON });
this.oIBDAWG = new IBDAWG(oJSON);
|
| ︙ |