On Wednesday, January 12, 2022 at 12:58:27 AM UTC-5 Félix wrote:
> Devel doesnt work for me neither. > > I switched to commit f85c47489eb7dc769b73370d1d8b7abd9b9f6028 from devel > in the meantime My apologies for the recent problems. I can not reproduce the problem on my machine. I have just checked out leo-editor from github and still no problem. Something strange did happen yesterday. I mistakenly merged a PR that was based on master. Rather than asking for a new PR, I just merged master into devel. All seemed to go well for me, so I thought nothing more about the merge. Let me know if the problem persists. I can talk you through single-stepping though the startup process. I'll also check to see whether this issue may depend on python version. 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 on the web visit https://groups.google.com/d/msgid/leo-editor/6f794168-af07-45d4-bf67-97d5ed70712fn%40googlegroups.com.
