On Sat, Feb 25, 2012 at 6:17 AM, <[email protected]> wrote: > I was thinking the overall conceptual problem, do users of leo know what > settings are global?
This distinction is needed only by developers of plugins. Users will not be aware of it at all. Users need only be aware that settings in myLeoSettings.leo override settings in leoSettings.leo, and settings in the file being loaded override all other settings, with the interesting exception that if leoSettings.leo is the file being loaded, settings there do *not* override the settings in myLeoSettings.leo ;-) Global settings are used rarely: 1. At startup, when initing the pluginsManager. 2. In the mod_http plugin, when initing settings that do not pertain to any particular .leo file. Edward -- 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.
