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 ! * Disable '@settings' tree in 'myLeoSettings.leo' & restart Leo - OK? - YES. * Enable '@settings' tree in 'myLeoSettings.leo' & restart Leo a second time - OK? - YES. Just wanted to test it, before replying here ... With kind regards, Viktor -- 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/56b1df5e-097c-44c2-9ef9-89a1cf1cb833n%40googlegroups.com.
