On Fri, Jun 30, 2023 at 4:39 AM jkn <[email protected]> wrote:
> starting Leo via different sets of (for me) .sh files, for different > 'session sets of files' seems pretty cheesy in this day & age - sorry. > No worries. PR #3215 <https://github.com/leo-editor/leo-editor/pull/3215> (the massive PR) now supports real sessions!!! With minimal changes to leoSessions.py! In other words: - #3408 <https://github.com/leo-editor/leo-editor/issues/3408> is complete! - leoSession.leo can remain with only small changes to SM.get_session and SM.load_session. - All the session-* commands should work. Some will work better :-) 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/CAMF8tS2AaV9-%3DuGTwuKzHLbstopU4_tsqKgjwheS9LUExSxeYA%40mail.gmail.com.
