On Wednesday, April 16, 2025 at 8:02:15 AM UTC+1 [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 ! * Disable '@settings' tree in 'myLeoSettings.leo' & restart Leo - OK? - YES. * Enable '@settings' tree in 'myLeoSettings.leo' & restart Leo a second time - OK? - YES. Hi Victor Where do these 'prompts' come from please? (I am not very familiar with the restart-leo command/feature) Thanks, J^n -- 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/0ee05916-6ff8-4ea0-a684-4cfd702eb067n%40googlegroups.com.
