PR
#2863 is a milestone: it correctly annotates all objects in the LeoFrame class.
The LeoFrame class (and subclasses) are the basis for Leo's gui-independent code. The new annotations are unions that describe each gui-dependent variant. Besides significantly strengthening mypy's type checking, these unions are superb documentation.
The present annotations are much better than expected. They are more than good enough for any foreseeable purpose. The new annotations should help Félix considerably.
Summary
It's time to declare that Leo's code is complete for the 6.7.0 release. Please report all bugs. There is plenty of time to fix them.
Edward