On Sun, Nov 16, 2008 at 7:31 AM, Kent Tenney <[EMAIL PROTECTED]> wrote:

> While investigating I found this.
>
> The node
> @settings-->Plugins-->@enabled-plugins
> in config/leoSettings.leo
> says
>
> # The FIRST mention of a plugin controls whether the plugin is enable or not:
> # - If the plugin's name is commented out, it is disabled, otherwise
> it is enabled.
> # - Plugins not appearing here are disabled.

This comment is obsolete.  Leo now will enable a plugin if it is
mentioned in any non-commented-out line anywhere in an
@enabled-plugins node.  The general consensus was that the new
behavior is much less confusing than the old.

I'll remove this comment from leoSettings.leo.

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
-~----------~----~----~----~------~----~------~--~---

Reply via email to