78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
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
if self.oCommunityDic:
self.bCommunityDic = True
if self.oPersonalDic:
self.bPersonalDic = True
|
<
|
<
|
<
|
|
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
|