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 seems to say that if a plugin file name is commented, it cannot be enabled
by settings by @settings downstream. Is this true?
Is there a difference between a plugin file name not appearing and appearing
in a commented line?
Thanks,
Kent
> 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