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.