Not really. Just restart Leo :) On Sat, Jul 7, 2012 at 11:43 PM, Johan Samyn <[email protected]> wrote: > 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 > > -- > 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 [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/leo-editor?hl=en.
-- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
