Thank you to both of you ! I'll take a look at this again tonight :) -- Félix
On Monday, December 7, 2020 at 7:45:01 AM UTC-5 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 > -- 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/bdb55da0-e16b-4726-81cb-8e67b7603dc5n%40googlegroups.com.
