On Monday, December 7, 2020 at 12:45:01 PM UTC Edward K. Ream wrote:
> 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 > Can you explain the new behavior a bit more? I am not very clear about the differences between #1240 and #1771. I have asked for something like this in the past, but (perhaps because I haven't explained it well enough) Edward thought it was done. I would like to know we are talking about the same thing(s) Thanks, J^n -- 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/b88d3123-38cf-46ac-a4ac-44a55a391288n%40googlegroups.com.
