On Wednesday, April 16, 2025 at 4:51:47 AM UTC-4 Edward K. Ream wrote: I like this trick. Its drawback is that Leo's log reports that Leo is using myLeoSettings.leo. That message might be confusing.
I've never used Leo's log. Where is it? Does it have to be enabled? -- 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 visit https://groups.google.com/d/msgid/leo-editor/e8e556b6-b60d-4e07-b539-79283e8152f3n%40googlegroups.com.
