My latest hypothesis:
there is an @enabled-plugins node in both leoSettings and myLeoSettings
when myLeoSettings is created for the first time by a new leo user, the two
nodes are the same if myLeoSettings has an @enabled-plugin node, it
overrides the node of the same name in leoSettings this explains why leo
will run for me when I comment out plugins recommended in myLeoSettings (but
leave leoSettings unchanged) because the whole leoSettings node was
overridden, the plugins that were not commented out there have no effect
Edward, we need an umpire :-)
I'm going to have to start reading the docstrings of the recommended plugins to
see what they all do. Fun!
On Friday, July 31, 2020, 1:01:52 p.m. NDT, Thomas Passin
<tbp100...@gmail.com> wrote:
On Friday, July 31, 2020 at 9:22:08 AM UTC-4, Geoff Evans wrote:
Sorry to be slow, but: "MyLeoSettings has priority for setting something,
otherwise LeoSettings.leo prevails."
It seems to me that if I simply comment out a plugin line in myLeoSettings.leo,
I'm turning it into a line that gets ignored, not a line that contradicts
what's in leoSettings.leo -- so the plugin would still be there. Which would
mean that I'd have to edit leoSettings.leo itself?
I suppose an alternative is that there's a whole plugins section in both files,
and the section in My... would override the section in Leo... In which case
commenting out would work.
I think the way it works is this:
LeoSettings.leo has a list of plugins. most are commented out, but a few of the
more useful ones are not commented out. An uncommented plugin in
MyLeoSettings.leo will cause that plugin to be enabled. That is, a setting
line that is commented out is the same as it it were not there. So a line that
is commented out in MyLeoSettings.leo will not override the same uncommented
line in LeoSettings.leo; only the uncommented lines count, and also if there
are uncommented settings that are different between the two files, the one in
MyLeoSettings.leo will be used.
--
You received this message because you are subscribed to a topic in the Google
Groups "leo-editor" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/leo-editor/Y6KRkP5wi2o/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/149ea449-ae4a-470d-8a92-52cfd85b3192o%40googlegroups.com.
--
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/227455398.7152237.1596223992543%40mail.yahoo.com.
