On Tuesday, April 15, 2025 at 7:33:11 PM UTC+1 [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 Thanks Victor (I like the 'eol' result). I thought perhaps there was some 'clever' way to do this, but your way is of course perfectly adequate. Regards 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/88461892-e4eb-479a-a0d5-01a8c272fa81n%40googlegroups.com.
