Eight more PRs merged into devel

[Edward K. Ream]

Eight recent PRs complete all planned work involving Leo's annotations. You can see the list of all PRs here. 

I plan no further significant changes to Leo's codebase. Several ugly corners remain in Leo's code, but nobody would benefit from heroic attempts to improve them.

Summary

Recent PRs improve Leo's annotations. I have no plans for other major projects.

I'll release Leo 6.7.9-rc1 after fixing the remaining minor bugs.

Edward

[Edward K. Ream]

On Thursday, April 11, 2024 at 5:25:03 AM UTC-5 Edward K. Ream wrote:

Eight recent PRs complete all planned work involving Leo's annotations.

I doubt that the improved annotations will have much effect on LeoJS. After all, Typescript encourages stricter annotations than Python does.

The last thing I want is for the recent work to delay LeoJS 1.0!

Edward

[Viktor Ransmayr]

Hello Edward,

I have reported a problem, when trying to update "leo-editor/leo-editor:devel" in my environment. - See

* https://groups.google.com/g/leo-editor/c/WK51V8i6-1Y/m/JUDU_47OAAAJ

With the new simplified installation process from Leo 6.7.8 in place, I do have another ~ simple ~ question:

Is it safe to perform a 'git pull ...' operation

-OR - 

is it always required to start with a 'git clone ...' & a subsequent 'pip install -r requirements.txt' operation ?

With kind regards,

Viktor

[Edward K. Ream]

On Fri, Apr 12, 2024 at 1:25 PM Viktor Ransmayr wrote:

> With the new simplified installation process from Leo 6.7.8 in place, I do have another ~ simple ~ question:

Is it safe to perform a 'git pull ...' operation

-OR - 

is it always required to start with a 'git clone ...' & a subsequent 'pip install -r requirements.txt' operation ?

An excellent question! You have put your finger on a potential problem. My apologies for the delay in answering.

For those using Leo's repo, git pull should almost always work. Theoretically, a missing new dependency could cause Leo not to load, but then pip install -r requirements.txt would put things right.

Edward