Two PRs merged into devel

[Edward K. Ream]

I have just merged PRs #3568 and #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

[Edward K. Ream]

On Friday, September 15, 2023 at 8:39:27 AM UTC-5 Edward K. Ream wrote:

I have just merged PRs #3568 and #3566 into devel. The first improves Leo's spell-checking and searches. The second corrects dozens of misspellings in Leo's extended core.

And now PR #3570 is part of devel. The new code spell-checks Leo's sources and LeoDocs.leo about as well as we can reasonable expect. See the comments in the PR for details.

I plan no further work in this area.

Edward