Maybe I am also misunderstanding but It seems cumbersome to expect any users but especially new users to enable plugins per outline.
If you want to do a per outline enable-disable then plugins should be enabled globally (in myLeoSettings.leo or leoSettings.leo) but *disabled* locally with a @disabled-plugins node. This puts the least amount of strain on the user, does not break current usage, and provides the control you're looking for. On Tuesday, May 5, 2015 at 5:33:19 AM UTC-4, Kent Tenney wrote: > > -1 as I understand it, but maybe I don't understand. > > Other settings are active if applied in myLeoSettings.leo, you're > saying plugins would need to be mentioned in every .leo file which > uses them? > > > > On Tue, May 5, 2015 at 12:14 AM, Edward K. Ream <[email protected] > <javascript:>> wrote: > > Leo's plugins manager can and imo should dispatch events registered to a > > plugin only to commanders for which the plugin is enabled in an > > @enabled-plugins node. > > > > This would make @enabled-plugins nodes work like all other settings. > Not > > enabling a plugin in a local (per .leo file) @enabled-plugin node would > > disable that plugin for that outline even if the plugin is enabled in > > myLeoSettings.leo or leoSettings.leo. > > > > In practice, the plugins manager would dispatch an event registered by a > > plugin to a commander only if the plugin is actually enabled in the > > commander. Events would be dispatched as always. For example: > > > > def onCreate (tag, keys): > > > > c = keys.get('c') > > if c: << do something >> > > > > The only difference is that this event handler would be called only for > > outlines in which the plugin was enabled. > > > > There might be unforeseen difficulties, but I plan to experiment with > this > > soon. > > > > Your comments, please, Amigos. > > > > Edward > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "leo-editor" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at http://groups.google.com/group/leo-editor. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
