On Friday, December 13, 2013 5:01:13 PM UTC-6, SegundoBob wrote: > > On 12/13/2013 12:13 PM, Edward K. Ream wrote: > > > > Note: only the first @settings tree in any .leo file matters. > > And within any @settings subtree only the last setting of a particular > parameter matters.
Probably true in general, but there may be special cases for which it is not true. And among all the @settings subtrees only the last setting of a particular > parameter matters. > I don't know, nor do I care, as explained below. The order of the @settings subtrees is: > > 1) leoSettings.leo > 2) myLeoSettings.leo > 3) any other .leo file. > This is the important point. Local settings (the settings in any .leo file) override personal settings (the settings in myLeoSettings.leo) which in turn override global settings (the settings in leoSettings.leo). This terminology (local, personal, global) is not part of the Settings menu. I should update the docs too. Only the first @settings node in any file has any effect. It would be bad style to have more than one (non-cloned) copy of any setting in a particular .leo file. That being so, the exact (possibly complex) details of which setting "wins" is, or should be, irrelevant. All of the above is implied, but not explicitly stated, by this > documentation: > > http://leoeditor.com/tutorial-basics.html?highlight=leosettings#id13<http://www.google.com/url?q=http%3A%2F%2Fleoeditor.com%2Ftutorial-basics.html%3Fhighlight%3Dleosettings%23id13&sa=D&sntz=1&usg=AFQjCNFyi82aTh0htVeNnvEEXrtMk1qqUQ> > > If you think there is a specific problem with the documentation, please let me know. Afaik, it is correct. It is not the purpose of documentation to discuss various edge cases that should not, in fact happen. It is unreasonable to put multiple non-cloned copies of any setting in any .leo file. If you do that, you are asking for confusion. Don't do it, and don't expect the documentation to tell you what will happen if you do do it. Clear? 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
