On Tue, Oct 25, 2011 at 8:41 AM, Edward K. Ream <[email protected]> wrote:
> On Tue, Oct 25, 2011 at 7:00 AM, Ville M. Vainio <[email protected]> wrote:
>> Yeah, but the idea is that leoSettings.leo should have the default
>> settings enabled out of the box.
>
> When I wrote the reply I was thinking that all the plugins in
> leoSettings.leo get enabled. Perhaps I am mistaken, but I do know
> that @enabled-plugins is handled a bit differently. Let me check...
Here are some data points. The term "non-settings" file means any
.leo file except myLeoSettings.leo and leoSettings.leo.
1. Launching a single .leo file:
An empty @enabled-plugins node disables plugins for that file.
2: Launching multiple .leo files from the command line:
2A: only one @enabled-plugins node in all non-settings files:
An empty @enabled-plugins node in *any* of the loaded files
disables all plugins in all files.
2B: multiple @enabled-plugins node in non-settings files:
In this "conflict" case the union of all plugins are loaded.
All loaded plugins appear in the plugins menu, even
for files containing an empty @enabled-plugins node.
The variety of permutations is obviously confusing, which is why I
have been saying for years to keep things as simple as possible.
Now we get to the original question :-) Should leoSettings.leo
contain the usual defaults, or not?
I think the answer can be "yes". At least for the simple case (one
file loaded), an empty @enabled-plugins node does kill all plugins.
Let me check one more thing: a non-empty @enabled-plugins node in a
single .leo file. Yes, that works as expected: none of the settings
in the @enabled-plugins node in leoSettings.leo are loaded.
So the summary is, everything works as one would naively expect: it
was only I who was confused :-)
I'll re-enable standard plugins in leoSettings.leo immediately.
BTW, I just noticed cleo.py is disabled in the list. It should be
gone: it's a Tk plugin. I'll check all the other plugins...
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.
