On Wed, 14 Jan 2009 16:22:45 -0800 "Kayvan A. Sylvan" <[email protected]> wrote:
> Still, the most common case is the user who wants to enable a couple > of plugins in addition the the standard set, and this would simplify > that. I agree, it's analogous to my menu editing patch, allowing modifications on top of whatever is the current most up to date set of settings. Let's wait until Kent's got everything sorted out under the current system, then change it :-) Cheers -Terry --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
