PR #4126 is now in devel

10 views

Skip to first unread message

unread,

Oct 25, 2024, 5:44:35 PM10/25/24

to leo-editor

PR #4126 has been merged into devel. This PR fixes some items that I thought had to be fixed immediately.

As Thomas has implied in several recent posts, it's not clear whether there were real problems. In any event, I don't have any problems now :-)

Please keep testing devel and report any problems. Afaik, Leo's nifty new layout scheme is complete. Please let me know if you disagree.