On Tue, Feb 14, 2012 at 12:10 PM, Kent Tenney <[email protected]> wrote: > I have no idea if this is relevant, but in looking over @settings recently, > I remembered the issue with plugins wherein it was difficult (impossible?) > to de-activate a plugin appearing in > leoConfig/leoSettings.leo.@enabled-plugins > > Was that ever resolved?
Not to my knowledge. It may happen naturally in the new scheme. I'll keep this in mind as I hack away... 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.
