On Thursday, August 13, 2020 at 7:31:02 PM UTC-4, k-hen wrote: > > [snip] >
Would you file a bug issue on this? The issue URL is https://github.com/leo-editor/leo-editor/issues -- 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/dc41b2df-211a-4c2f-b172-6180d04ee742o%40googlegroups.com.