On Wednesday, July 10, 2019 at 3:12:40 PM UTC+1, Edward K. Ream wrote: > > On Mon, Jul 8, 2019 at 11:19 AM gar <[email protected] <javascript:>> > wrote: > >> At least LEO should alarm that file has changed and ask user to reload >> the project. >> > > Good idea. I have just created #1240 > <https://github.com/leo-editor/leo-editor/issues/1240> for this. > > Edward >
Hmm - I thought this was what I was asking for in the thread "Leo options if file on disk gets updated" a little while ago, was never quite sure if that got bottomed out. Oh well, I am happy if gar's request makes it more likely to occur. I am still a bit confused about some of the messages that occur around this sort of this: "file XXX has changed on disk: reload it?" etc. It's not very clear to me what is going on in these cases. -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/75f1d8a8-8344-4231-9ddd-d371cb971c02%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
