I have just merged PRs #3568
<https://github.com/leo-editor/leo-editor/pull/3568> and #3566
<https://github.com/leo-editor/leo-editor/pull/3566> into devel. The first
improves Leo's spell-checking and searches. The second corrects dozens of
misspellings in Leo's extended core.
This post explains why I have chosen to make these last-minute changes.
PR #3568 contains three significant improvements:
- *g.match_word* handles character escapes more conveniently. For example,
g.match_word will find `word` in `print('\nword')`. Fixing this hangnail
makes a big difference.
- *find._inner_search_match_word* has collapsed in complexity as a result
of improved g.match_word.
- *SpellTabHandler.find* boasts much better spell-checking of text and
Python code. I'll omit the picky details.
*Testing*
I have not added any new unit tests. Doing so would not be easy. However,
the success of the new spell checker (along with some hand tests) indicates
that PR #3568 is sound.
*Summary*
How did we ever live with inferior word-oriented finds?
How did we ever live with inferior spell checking?
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 view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/09ed473a-d9a5-4891-ab2a-9cf853c82f42n%40googlegroups.com.
