5437:272547f9afa0 | 5439:7ae65fa937a3 |
---|---|
117 dictionary (string) | 117 dictionary (string) |
118 """ | 118 """ |
119 if isException: | 119 if isException: |
120 dicFile = Preferences.getEditor("SpellCheckingPersonalExcludeList") | 120 dicFile = Preferences.getEditor("SpellCheckingPersonalExcludeList") |
121 if not dicFile: | 121 if not dicFile: |
122 dicFile = SpellChecker.getDefaultPath(False) | 122 dicFile = SpellChecker.getDefaultPath(True) |
123 else: | 123 else: |
124 dicFile = Preferences.getEditor("SpellCheckingPersonalWordList") | 124 dicFile = Preferences.getEditor("SpellCheckingPersonalWordList") |
125 if not dicFile: | 125 if not dicFile: |
126 dicFile = SpellChecker.getDefaultPath() | 126 dicFile = SpellChecker.getDefaultPath() |
127 return dicFile | 127 return dicFile |
193 """ | 193 """ |
194 Public method to set the minimum word size. | 194 Public method to set the minimum word size. |
195 | 195 |
196 @param size minimum word size (integer) | 196 @param size minimum word size (integer) |
197 """ | 197 """ |
198 self.minimumWordSize = size | 198 if size > 0: |
199 self.minimumWordSize = size | |
199 | 200 |
200 def __getNextWord(self, pos, endPosition): | 201 def __getNextWord(self, pos, endPosition): |
201 """ | 202 """ |
202 Private method to get the next word in the text after the given | 203 Private method to get the next word in the text after the given |
203 position. | 204 position. |