On Thursday, November 14, 2024 at 4:08:55 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 know how to get disappear, but the circumstances are odd. Nevertheless, I am confident that I can crush this bug soon. 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/7cd99cdd-cade-4ea4-b4fc-ab16a88b7df7n%40googlegroups.com.
