The fix for #2246 <https://github.com/leo-editor/leo-editor/issues/2246> was straightforward. However, I made several other housecleaning fixes at the same time. Please report any problems.
Thanks, 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/09772ac1-92e3-47de-9f0a-bbc24c75c4a6n%40googlegroups.com.
