73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
-
+
-
-
+
+
+
|
}
catch (e) {
console.log("# Error: " + e.fileName + "\n" + e.name + "\nline: " + e.lineNumber + "\n" + e.message);
}
}
}
function setDictionary (sTypeDic, sDicJSON) {
function setDictionary (sTypeDic, sDictionary) {
try {
console.log("set dictionary: " + sTypeDic);
let oJSON = JSON.parse(sDicJSON);
case "extended":
case "main":
oSpellChecker.setMainDictionary(sDictionary);
break;
case "community":
break;
case "personal":
let oJSON = JSON.parse(sDictionary);
oSpellChecker.setPersonalDictionary(oJSON);
break;
default:
console.log("[GCE worker] unknown dictionary type");
}
}
catch (e) {
|