How about this simplification? Each @enabled-plugins node adds to (does not replace!!) the current plugin list.
Each @enabled-plugins section can optionally starts with a "@clear-plugins" line which would clear the list of plugins to load. This would make the most common case (where a user just wants to enable a plugin without losing the standard ones) easy: Simply list the plugin in an @enabled-plugins node of ~/.mySettings.leo Note that this also has the added benefit that if the global plugin list changes, the user does not have to fix their private @enabled-plugins. Best regards, -- Kayvan A. Sylvan | Proud husband of | Father to my kids: Sylvan Associates, Inc. | Laura Isabella Sylvan, | Katherine Yelena (8/8/89) http://sylvan.com/~kayvan | my beautiful Queen. | Robin Gregory (2/28/92) --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
