On Feb 10, 3:39 pm, "Edward K. Ream" <[email protected]> wrote:
> ===== New summary ===== > > The big change in my thinking as the result of our conversation is > that Leo probably can search *anew* for myLeoSettings.leo (and > leoSettings.leo) every time Leo loads a .leo file. This will allow > Leo to find, in *all* cases, myLeoSettings.leo (and leoSettings.leo) > in the directory containing the loaded .leo file. On third thought, I am not wild about this. It's a close call, and it does seem like a plausible thing to do, but I suspect it will cause a fair amount of pain and very little gain. Indeed, the simplest thing that could possibly work is the notion of a *single* leoSettings.leo file and a *single* myLeoSettings.leo file to be applied to all loaded .leo files in a particular session. This is the way Leo has always worked. It's also the way lots of editors work. Suppose, for the sake of argument, that we allow multiple leoSettings.leo and myLeoSettings.leo files in a single session. How useful would it be? It's going to cause a ripple of complications. For example, the show-settings command would now have to report *which* settings files are being used, and worse, the user must pay attention! I don't think this is progress. To repeat, this is a close call. Kent has given an example where loading myLeoSettings.leo from the local directory could be somewhat useful. But it doesn't seem *that* useful, and the additional complications seem like sufficient reason not to do it. Stepping back, I started the rewrite of the configuration code because I had no real choice: the present code is buggy and almost impossible to understand. However, I would like to make minimal changes to how Leo actually works. Imo, the -c option, and the new --leo-settings and --my-leo-settings options, should handle almost any conceivable situation. True, command-line options aren't quite as convenient as automatically finding settings files, but I think they are good enough. 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.
