On Friday, November 15, 2024 at 6:06:43 AM UTC-5 Edward K. Ream wrote: On Thursday, November 14, 2024 at 4:45:32 PM UTC-6 Edward K. Ream wrote:
>> I can now reproduce the bug reliably: Issue #4181 <https://github.com/leo-editor/leo-editor/issues/4181> contains the details. > I am confident that I can crush this bug soon. I am less confident now. This bug is one of the most mysterious I have ever encountered! I have a *candidate* fix that is simpler and better on other grounds. Nevertheless, I still have *no idea* why the colorizer failed so spectacularly. I have only some conjectures. I shall merge a new PR later today. That plan seems prudent. An *early merge* will cost us nothing: I was not able to reproduce this bug using yesterday's version of devel. You wrote that you encountered the bug in a private branch. After you do this merge, is this bug going to appear in devel? -- 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/67de3579-0e17-4710-9a44-c1548b8f2164n%40googlegroups.com.
