On Tue, May 5, 2015 at 8:17 AM, 'Terry Brown' via leo-editor <
leo-editor@googlegroups.com> wrote:

Seems to me replacing the whole plugins list loses the current
> capability of saying "in this outline I want my regular list of plugins
> plus this one"


​Correct.​

Would it work to add a @bool clear_enabled_plugins


​One can imagine it, but it's not going to happen.  There is *no way* I'm
going to complicate settings further.

Thanks for all your comments. Clearly, I was mistaken about the idea's
appeal.  It will be filed under "Won't do".  Not a problem for me :-)

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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to