On Sat, 26 Oct 2013 00:48:59 -0700 Matt Wilkie <[email protected]> wrote:
> I too am having trouble with settings and getting the bookmark plugin to > work; filed as a bug report, > https://bugs.launchpad.net/leo-editor/+bug/1244887 https://bugs.launchpad.net/leo-editor/+bug/555014 is what really needs fixing. I just added # This node *MUST* be a child of the @settings node to take effect. to the @enabled-plugins node in leoSettings.leo, it appears not to be because it's cloned in to a top level position as well, but that's what you were missing. But in general it's clear Help -> myLeoSettings.leo needs to create a sensible skeleton automatically when the file doesn't exist, copying @enabled-plugins from leoSettings.leo etc. Cheers -Terry -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
