Why does leo asks to restart when a .leo file modification is detected? (instead of asking to reload the file?)

[Félix]

Exactly as per the subject line, I'm wondering why does Leo asks to restart when a .leo file modification is detected? Instead of asking to reload the file?

I feel like I asked this question in the past and I cant remember the reason, ...but I searched this google-group for 'restart' and I couldn't find anything... so i just posted this

Thanks for anyone who can enlighten me about this :)

Félix

[Thomas Passin]

I've wondered about this, too.  It seems obvious to me that if LeoPyRef has been changed outside of the Leo session that Leo should restart.  This could happen, e.g., if the user checks out a different branch of leo-editor or updates the current branch.  For other outlines, maybe the thinking was that any outline might contain some part of Leo's runtime code, but if that every was the case it doesn't seem so any more.

[Edward K. Ream]

On Wed, Jun 28, 2023 at 10:49 PM Félix <felix...@gmail.com> wrote:

Exactly as per the subject line, I'm wondering why does Leo asks to restart when a .leo file modification is detected? Instead of asking to reload the file?

I don't know. The only way to find out is to change the code and see what happens. Reading the code is hopeless in a situation like this.

Edward

I feel like I asked this question in the past and I cant remember the reason, ...but I searched this google-group for 'restart' and I couldn't find anything... so i just posted this

Thanks for anyone who can enlighten me about this :)

Félix

--
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 leo-editor+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/45396e60-a3d7-44e1-b75f-76ce7ecb4bb0n%40googlegroups.com.

--

-----------------------------------------------------------------

Edward K. Ream: edre...@gmail.com

Leo Editor: https://leo-editor.github.io/leo-editor/

-----------------------------------------------------------------