Rev 6ff77135 improves spell checking in several ways: 1. It's considerably faster. It now uses a regex to find words. In addition, properly spelled words are never looked up in the main dictionary more than once.
2. Underscores are not part of words, so that a_b_c becomes three words. This eliminates the need to define a_b_c as properly spelled. 3. Words preceded or followed by numbers are ignored. This happens frequently in URL's, so this saves a lot of bother. 4. Words do include unicode word characters. Please report any problems immediately. Note that the spell-as-you-type commands are not affected in any way. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
