Or go to the *@settings* node and change its headline to *@@settings*. On Tuesday, April 15, 2025 at 2:33:11 PM UTC-4 [email protected] wrote:
> Hello J^n, > > Am Di., 15. Apr. 2025 um 19:51 Uhr schrieb jkn <[email protected]>: > >> How is "disabling myLeoSettings.leo" achieved, please? >> > > One way is to rename it, e.g. to 'myLeoSettings.eol' ... > > 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/39c739c2-4a73-4a85-90e9-a4bdee055f82n%40googlegroups.com.
