On Friday, August 16, 2019 at 9:00:07 AM UTC-5, Edward K. Ream wrote: > I have just created #1287 <https://github.com/leo-editor/leo-editor/issues/1287> for this.
Fixed at rev 91ac803 in devel. There are some subtleties involved. See the last comment in #1287. Please reopen if necessary. 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 on the web visit https://groups.google.com/d/msgid/leo-editor/d2139391-a066-4205-ada6-2a181aa51141%40googlegroups.com.