On Monday, July 3, 2023 at 6:34:16 AM UTC-5 Edward K. Ream wrote:

> A command line is out of the question.
...
> So we must choose *now* how Leo will work for *everyone.* It's time to 
resolve this question!

It's funny how writing changes my mind.

*Aha!* The only way to resolve this question is to add the 
*--always-write-session-data* command-line option.

Debate canceled!

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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/0cdade6e-3620-4962-83d0-52bb8be1d454n%40googlegroups.com.

Reply via email to