>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes: Andre> On Mon, Nov 15, 2004 at 12:10:40PM +0100, Jean-Marc Lasgouttes Andre> wrote: >>> So, we have two different definitions of what a word is, one being >>> by inclusion and the other by exclusion. I am not sure what is the >>> best way to define a word. Note that the isp_esc_char stuff should >>> move to ControlSpellchecker. Then we would be in postion to unify >>> these two definitions of a word. But how should we do it? Andre> I think it doesn't matter much how it is done as long as it is Andre> done uniformly. If in doubt I'd prefer the 'inclusion' method, Andre> but that's most likely a personal preference about which I Andre> don't care too much. OK, here is the difference between the inclusion and the exclusion method: isWord considers the following characters as part of a word, while isLetter does not: "$'*<=>_`|0123456789 I think that all the non-numeric signs are just an error and should be in IsKommaChar. Concerning the digits, both openoffice and word consider that they are part of words as far as navigation is concerned. However, the spellchecker skips over words containing digits. Is this what we should do? JMarc
