Early this morning I merged the ekr-annotate branch into devel. See PR #1948 <https://github.com/leo-editor/leo-editor/pull/1948> for details.
The ekr-annotate branch only added mypy type annotations and two new stub files. However, the branch changed/added 57 files, some in many places. I carefully reviewed all diffs, but this was a nerve-wracking business :-) I wanted to do the merge asap, so there will be plenty of time for testing before Leo 6.4 b1. This should be the last major change to Leo's code base before Leo 6.4 final. All upcoming PR's will be much smaller. 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/c3b1db8a-6c1a-4245-b360-0e5b9e4b26c7n%40googlegroups.com.
