Hi Edward
On Tuesday, October 16, 2018 at 11:55:15 AM UTC+1, Edward K. Ream wrote:
>
> On Mon, Oct 1, 2018 at 9:37 AM jkn <[email protected] <javascript:>>
> wrote:
>
> My apologies for the delay in responding.
>
> 4) Separately,
>> touch mytest.leo
>>
>> 5) Change back to Leo.
>> nothing shown(!)
>>
>
> Leo doesn't continually check to see whether a .leo file has been
> changed. The workaround is not to do that. You could file an enhancement
> request, but I would reject it ;-)
>
> Given that Leo does easily (via the menu) allow you to reload a file, I am
curious what your reason for rejecting would be?
Thanks
jon
> Leo *does* warn you if you try to open two separate of the same .leo
> file. If you ignore the warning then you, and only you, are responsible
> for what happens.
>
>
> 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.
