PR #4047 merged into devel: body editors are gone

Edward K. Ream

unread,

Aug 28, 2024, 3:04:31 AM8/28/24

to leo-editor

PR #4047 has been merged into devel. It has also been merged (with difficulty!) into PR #4033, which adds new layouts.

I have taken this step now because it seems likely I shall undergo yet another surgery on my right eye. I wanted to do the complicated merges now, while most of the details are fresh in my mind.

I would also like to merge #4033 today, so we can all test the new code while I recuperate.

Edward

lewis

unread,

Aug 28, 2024, 5:24:19 AM8/28/24

to leo-editor

Best wishes Edward, hope all goes well.

Thomas Passin

unread,

Aug 28, 2024, 8:03:10 AM8/28/24

to leo-editor

Best wishes this time around from all of us.

Edward K. Ream

unread,

Aug 28, 2024, 10:28:54 AM8/28/24

to leo-e...@googlegroups.com

On Wed, Aug 28, 2024 at 7:03 AM Thomas Passin <tbp1...@gmail.com> wrote:

Best wishes this time around from all of us.

Thanks.

Edward

Reply all

Reply to author

Forward