Overview
| Comment: | [graphspell] code clarification |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | graphspell | multid |
| Files: | files | file ages | folders |
| SHA3-256: |
3cb01f1bc20474edcd762ca004175e1b |
| User & Date: | olr on 2018-03-20 19:55:50 |
| Other Links: | branch diff | manifest | tags |
Context
|
2018-03-20
| ||
| 20:54 | [fx] ui: new spinners check-in: 0ce3ed0d3c user: olr tags: fx, multid | |
| 19:55 | [graphspell] code clarification check-in: 3cb01f1bc2 user: olr tags: graphspell, multid | |
| 18:06 | [graphspell] spellchecker: activate/deactivate dictionaries check-in: 09254c7f4b user: olr tags: graphspell, multid | |
Changes
Modified graphspell-js/spellchecker.js from [758b22b0da] to [02db3a2be4].
| ︙ | ︙ | |||
107 108 109 110 111 112 113 |
// returns true if the dictionary is loaded
this.oPersonalDic = this._loadDictionary(dictionary);
this.bPersonalDic = Boolean(this.oPersonalDic);
return this.bPersonalDic;
}
activateExtendedDictionary () {
| < | < < | < < | < | 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 |
// returns true if the dictionary is loaded
this.oPersonalDic = this._loadDictionary(dictionary);
this.bPersonalDic = Boolean(this.oPersonalDic);
return this.bPersonalDic;
}
activateExtendedDictionary () {
this.bExtendedDic = Boolean(this.oExtendedDic);
}
activateCommunityDictionary () {
this.bCommunityDic = Boolean(this.oCommunityDic);
}
activatePersonalDictionary () {
this.bPersonalDic = Boolean(this.oPersonalDic);
}
deactivateExtendedDictionary () {
this.bExtendedDic = false;
}
deactivateCommunityDictionary () {
|
| ︙ | ︙ |
Modified graphspell/spellchecker.py from [374c5d134a] to [eb6fcccb55].
| ︙ | ︙ | |||
78 79 80 81 82 83 84 |
def setPersonalDictionary (self, source):
"returns True if the dictionary is loaded"
self.oPersonalDic = self._loadDictionary(source)
self.bPersonalDic = bool(self.oPersonalDic)
return self.bPersonalDic
def activateExtendedDictionary (self):
| < | < | < | | 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 |
def setPersonalDictionary (self, source):
"returns True if the dictionary is loaded"
self.oPersonalDic = self._loadDictionary(source)
self.bPersonalDic = bool(self.oPersonalDic)
return self.bPersonalDic
def activateExtendedDictionary (self):
self.bExtendedDic = bool(self.oExtendedDic)
def activateCommunityDictionary (self):
self.bCommunityDic = bool(self.oCommunityDic)
def activatePersonalDictionary (self):
self.bPersonalDic = bool(self.oPersonalDic)
def deactivateExtendedDictionary (self):
self.bExtendedDic = False
def deactivateCommunityDictionary (self):
self.bCommunityDic = False
|
| ︙ | ︙ |