On Sun, Dec 6, 2020 at 3:21 PM Félix <[email protected]> wrote: > Leo does not seem to react to having it's ".leo" file modified while it's opened.
I guess you mean, having an opened .leo file modified by another program. Is #1240 <https://github.com/leo-editor/leo-editor/issues/1240> what you mean? Leo *does* continually monitor changes to external files, and raises an alert when that happens. Does this clarify matters? 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/CAMF8tS0QrpOVnTd6pwRr3mR3e6JBKOOqg56buwEunMrDRvR32Q%40mail.gmail.com.
