The detect branch fixes #981 <https://github.com/leo-editor/leo-editor/issues/981> and #977 <https://github.com/leo-editor/leo-editor/issues/977>, which imo are actually the same issue.
As discussed in the last comment of #981 <https://github.com/leo-editor/leo-editor/issues/981#issuecomment-456800515>, the new code is not perfect. It does not prevent a user from opening a file several times in an external editor. Imo, warning about such situations would quickly become unpleasant. The root of this (slight) problem is that there is no easy and *fast* way to know whether the external editor is still editing the file. All comments and suggestions are welcome. However, I plan no further work unless something is *seriously* wrong with the new code. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
