Hi Edward On Friday, June 30, 2023 at 1:41:08 PM UTC+1 Edward K. Ream wrote:
On Fri, Jun 30, 2023 at 5:04 AM jkn <[email protected]> wrote: FWIW I can't really tell what #3408 will actually *do*. "Real Sessions" sounds great, but what is written there is more about the coding. I would like to better understand when the user experience will be at the end of this. The idea, n*ow fully realized* in PR #3215 <https://github.com/leo-editor/leo-editor/pull/3215>, is this: 1. On exit, Leo *always* saves a list of open outlines (automatic session-snapshot-save). 2. When you open Leo without specifying any files Leo opens the saved list of outlines (automatic session-snapshot-load). That sounds reasonable enough. Might it be worth making (1) alterable via an @setting variable? I can just see some scenario where you have a usual set of sessions saved, but want to have a 'scratch' session with a different set, or just one file or something. FWIW I rarely use session-snapshot-load, just when I change my 'default' session setup. So I would no longer need to do this. I'll attempt to give this a try soon. Thanks Jon This scheme is what I understand to be real sessions. It's not *exactly* equivalent to *manually *doing session-snapshot-load because Leo always overwrites the previously saved session. Please try this all out. 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/32075821-dc0a-4fa9-9252-d9cf7b6e4958n%40googlegroups.com.
