To clarify:
> > Is your @enabled-plugins within a "@settings" tree?
>
> Yes, in both files.
That is, in .../leo/config/leoSettings.leo, its in a node *one of
whose clones* is within an '@settings' tree.
I assume that the occurrences of the clone nodes not under such a tree
do nothing...
Cheers
J^n
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
