On Mar 21, 8:39 pm, Terry Brown <[email protected]> wrote: > Anyway, you're proposing that there be a > > :default: yes > > field, which is used to generate the @enabled-plugins in > .../leo/config/leoSettings.leo?
Yes, something like this. > The plus with this system might be making sure all plugins, or at least all > stable working plugins, have an entry in @enabled plugins, even if that entry > is commented out for most of them (all except the few with ":default: yes"). Exactly, thus making it easier for those willing to give a quick and lazy try to uncommon plugins (instead of digging the docs and the source code in the plugins directory). The automated approach would take care that every submitted plugin makes it to @enabled-plugins. Initially, as commented line and being enabled by default when it will reach a certain level of stability and wide usage among leo users. -- 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.
