PR #4126 <https://github.com/leo-editor/leo-editor/pull/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. 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 visit https://groups.google.com/d/msgid/leo-editor/e8115c35-cd63-45e4-911b-52f09dde9baan%40googlegroups.com.
