activate new settings while running ?

[Johan Samyn]

Hi,
If I change the settings in the myLeoSettings.leo file, is there a way to make the new settings activate whithout restarting Leo ?
greets,
Johan

[Ville M. Vainio]

Not really. Just restart Leo :)

> --
> You received this message because you are subscribed to the Google Groups
> "leo-editor" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/leo-editor/-/pwphKvukFR0J.
> To post to this group, send email to leo-e...@googlegroups.com.
> To unsubscribe from this group, send email to
> leo-editor+...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/leo-editor?hl=en.