On Sunday, February 9, 2020 at 6:08:42 AM UTC-6, Edward K. Ream wrote: > I have just created #1489 <https://github.com/leo-editor/leo-editor/issues/1489> for this topic.
Rev 98530b0 <https://github.com/leo-editor/leo-editor/commit/98530b075953976eb748072604d31bb3f97fe0a9> in devel attempts a fix. I'm not sure it actually does anything useful. Please reopen if problems remain, or if you have other suggested fixes. 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 on the web visit https://groups.google.com/d/msgid/leo-editor/e81a0a75-f12e-48ea-9bb3-0f81c447df95%40googlegroups.com.
