Grammalecte  Diff

Differences From Artifact [758b22b0da]:

To Artifact [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
        // 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;
        }
    }

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

    activatePersonalDictionary () {
        if (this.oPersonalDic) {
            this.bPersonalDic = true;
        }
    }

    deactivateExtendedDictionary () {
        this.bExtendedDic = false;
    }

    deactivateCommunityDictionary () {







<
|
<



<
|
<



<
|
<







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 () {