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: - The PR is a step forward. The previous code is unacceptable. - An early merge will allow us all to use (and test!) the fix immediately. *Summary* - I shall merge a new PR later today. There is no guarantee that this PR is rock solid. - My investigations continue. A new ENB will discuss my conjectures and plans. - The fix necessitates a revision to the Theory of Operation! 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/5a161280-8c18-490a-b62e-d1a5376c1301n%40googlegroups.com.
