Grammalecte  Check-in [3cb01f1bc2]

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: 3cb01f1bc20474edcd762ca004175e1bed59f11c27ba55d585ae82ef817b677d
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
114
115

116
117
118
119
120
121

122
123
124
125
126
127

128
129
130
131
132
133
134
135
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 () {
        if (this.oExtendedDic) {
            this.bExtendedDic = true;
        this.bExtendedDic = Boolean(this.oExtendedDic);
        }
    }

    activateCommunityDictionary () {
        if (this.oCommunityDic) {
            this.bCommunityDic = true;
        this.bCommunityDic = Boolean(this.oCommunityDic);
        }
    }

    activatePersonalDictionary () {
        if (this.oPersonalDic) {
            this.bPersonalDic = true;
        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
85
86

87
88
89
90

91
92
93
94

95
96
97
98
99
100
101
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):
        if self.oExtendedDic:
            self.bExtendedDic = True
        self.bExtendedDic = bool(self.oExtendedDic)

    def activateCommunityDictionary (self):
        if self.oCommunityDic:
            self.bCommunityDic = True
        self.bCommunityDic = bool(self.oCommunityDic)

    def activatePersonalDictionary (self):
        if self.oPersonalDic:
            self.bPersonalDic = True
        self.bPersonalDic = bool(self.oPersonalDic)

    def deactivateExtendedDictionary (self):
        self.bExtendedDic = False

    def deactivateCommunityDictionary (self):
        self.bCommunityDic = False