On Monday, November 4, 2024 at 6:52:12 AM UTC-6 Edward K. Ream wrote: My next steps: - Completely diagnose the bug. - Find a *minimal* solution, cleaning code only as necessary.
Done in PR #4147 <https://github.com/leo-editor/leo-editor/pull/4147>. See that PR for details. The changes were simple enough so that there is no need to consider enhanced states. Hurray! 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 visit https://groups.google.com/d/msgid/leo-editor/7f1e8c72-5830-4a79-a1de-37e1db2c2faen%40googlegroups.com.
