PR #3850 <https://github.com/leo-editor/leo-editor/pull/3850> improves many annotations. This PR is too big for my liking. I'll make further improvements to annotations in smaller PRs.
PR #3855 <https://github.com/leo-editor/leo-editor/pull/3855> improves support for Ruff. Please see the PRs themselves for details. Neither PR contains substantial code changes, but the possibility of new problems remains. Please report anything amiss immediately. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/1520eb31-8d64-4b19-96f6-15094b5ad81fn%40googlegroups.com.
