I have tracked down what is happening but I don't know why. The problem is not with the restart command, it's with the runLeo.py module. It runs a different version of Leo, and even a different version of Python, depending on how it is invoked even though you would swear the results should be the same. Details are in the issue I just filed:
https://github.com/leo-editor/leo-editor/issues/4199 On Tuesday, November 19, 2024 at 11:51:20 AM UTC-5 Edward K. Ream wrote: > On Tue, Nov 19, 2024 at 10:44 AM Viktor Ransmayr <[email protected]> > wrote: > > >> I'll take a break for a while ! - I have provided all the information I >> have in my previous postings ... >> > > That's fine with me. I handle many emails each day. Please don't assume I > remember *any *details. The more succinct the better. > > 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 visit https://groups.google.com/d/msgid/leo-editor/c02ad81d-6538-447c-bb19-83d61c72e8c0n%40googlegroups.com.
