On Wed, Jul 9, 2025 at 3:52 PM Félix <felixgra...@gmail.com> wrote:
Thanks to Viktor and Thomas, a fix is ready ! (They provided a totally > compatible legacy interface API, so the fix was relatively easy!) > I have just merged the fix, PR #4389 <https://github.com/leo-editor/leo-editor/pull/4389> into devel. And commit 8e19587 <https://github.com/leo-editor/leo-editor/commit/8e1958728ff5717a1035de25f060a507fa90c6c6> suppresses a mypy complaint. 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 visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2k0-BdSJwgqtx8B5vEJTgzc%2Bd21TdMKpZ4E4OP%3DN3BZA%40mail.gmail.com.
