On Monday, December 7, 2020 at 5:32:43 AM UTC-6 Edward K. Ream wrote: It will probably be easy to have Leo notice changes to .leo files (while > Leo is running). >
Done at rev d501d5 in the ekr-change branch. See #1240 <https://github.com/leo-editor/leo-editor/issues/1240>and PR #1771 <https://github.com/leo-editor/leo-editor/pull/1771>. 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/52d44458-92b7-45e5-aa59-b32f8b582bd6n%40googlegroups.com.
