Two PRs merged into devel

PR #3911 deprecates the free_layout and nested_splitter plugins. This is a breaking change, so Leo's next version will be 6.8.0. PR #3913 fixes a crasher on MacOS. PR #3911 is a *starting

Two PRs merged into devel

PR #3850 improves many annotations. This PR is too big for my liking. I'll make further improvements to annotations in smaller PRs. PR #3855 improves support for Ruff. Please see the

Two PRs merged into devel

Leo's "devel" branch now contains two significant PRs: PR #3838 updates developer scripts that build and test Leo. The (newly revised) info issue #2867 lists these scripts. All these

Re: Two PRs merged into devel

On Friday, September 15, 2023 at 8:39:27 AM UTC-5 Edward K. Ream wrote: I have just merged PRs #3568 and #3566 into devel. The first improves Leo's spell-checking and searches. The second

Two PRs merged into devel

I have just merged PRs #3568 and #3566 into devel. The first improves Leo's spell-checking and searches. The second corrects dozens of misspellings in Leo's extended core. This post