On Wed, Apr 16, 2025 at 2:02 AM Viktor Ransmayr <[email protected]> wrote:
> Hello J^n, > > jkn schrieb am Dienstag, 15. April 2025 um 23:01:22 UTC+2: > > On Tuesday, April 15, 2025 at 9:29:54 PM UTC+1 [email protected] wrote: > > Or go to the *@settings* node and change its headline to *@@settings*. > > > right (I prefer that method, I think) > > > I agree. - Thanks to Leo's 'restart-leo' command, TBP's method even works > without 'leaving' Leo ! > I like this trick. Its drawback is that Leo's log reports that Leo is using myLeoSettings.leo. That message might be confusing. 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 visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2N3zTgtGDrihgysSw-1XYAtTnO%2BX-azVP4i5CSaiwDpg%40mail.gmail.com.
