I've just merged PR #3860 <https://github.com/leo-editor/leo-editor/pull/3960> into all the open branches.
This change must be tested more thoroughly. I'll wait at least a week before releasing Leo 6.8.0 beta 1. I'll delay b1 again if any late review raises significant issues. 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/cb2bf171-550a-443b-b295-32037d7ef366n%40googlegroups.com.
