On Mon, Nov 24, 2008 at 9:08 AM, Kent Tenney <[EMAIL PROTECTED]> wrote: > > Howdy, > > current bzr, tkgui, Ubuntu 8.10 > > I'm finding that, if myLeoSettings.leo contains an > @enabled-plugins > node, > > the plugins enabled by leo-editor/--/config/leoSettings.leo:@enabled-plugins > are deactivated.
I think Leo does what the documentation says it does. It's complicated because every time Leo opens a .leo file Leo will, possibly, enable a new set of plugins. I'm pretty sure Leo never actually disables a plugin because there is no good way, at present, to do that. Edward --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
