On Jan 15, 9:45 am, "Edward K. Ream" <[email protected]> wrote:
> Let us say that settings file A.leo **covers** settings file if B.leo
> if all settings in B.leo occur in A.leo.
In practice, local settings files need not cover all settings; they
need only cover the **volatile** settings that are may be different
from default settings. We shall have to be deliberately vague about
what a default setting is: people can define defaults in many ways.
In any case, the safe rule remain simple: local settings files should
define all settings that may be different from default settings.
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
-~----------~----~----~----~------~----~------~--~---
