On Fri, Jul 19, 2024 at 6:21 AM Edward K. Ream <[email protected]> wrote:
> But [all the layout scripts] have a serious problem: they all assume they are starting from Leo's default layout. Aha. Changing layouts should be undoable! We can do that :-) 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 on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0oSL3JdB%3D_ycVpTS5TogO8xzRTyUs3YL%2BiZ75eHixTrQ%40mail.gmail.com.
