PR #4790 merged into devel

[Edward K. Ream]

PR #4790 completes the annotations in the recent emergency PR.

The new PR completes the recent round of annotation-related PRs. It contains a new (to me) pattern: annotations like:

    event: LeoKeyEvent | None

that do not specify a default value of the event arg. As explained in the PR, such annotations should minimize the PR's semantic impact. We shall see.

Next, I'll turn my attention to some unrelated recent bugs.

Please continue to test Leo's "devel" branch.

Edward