On Friday, June 30, 2023 at 2:45:17 AM UTC-5 Edward K. Ream wrote: But nothing in leoSessions.py gives Leo such [real] sessions. The SessionManager class and the session-* commands must go.
Big sigh. It does not seem wise to the retire the SessionManager class as part of PR #3215 <https://github.com/leo-editor/leo-editor/pull/3215>. So the PR must fix SM.load_session for now. I'll wait and see whether #3408 <https://github.com/leo-editor/leo-editor/issues/3408> (real sessions) will satisfy everyone. If so I'll retire leoSessions.py as part of the PR for #3408. 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/851364c5-a18b-4794-b23e-eef18dc86bfcn%40googlegroups.com.
