Hey:
There are some reasons why it took me so long to change myleosettings (I
did it like 8 months after starting with Leo).
Most of them are gone now that its easier to edit, doesnt have clones, and
is far more newbie friendly.
But a question still remains.
When new options are added to Leos default settings, will I have to update
myleosettings manually to reflect those? Will I have to check the new
"leosettings.leo" and copy/paste the non-existing into myleosettings?
Meaning, whenever Leo is updated, I will have to work on myleosettings in
order to be able to use new configs, etc.
If not, could you confirm? If so, I think an auto-update script should be
made.
For instance, this pseudo-script would do:
For item in (all nodes of New_Version_leosettings):
> if not item.h in (all headers of myleosettings.leo) and not
> item.h.replace("True","False") in (all headers of myleosettings.leo) and
> not item.h.replace("False","True") in (all headers of myleosettings.leo):
> add item to myleosettings as child of node whose
> header==item.parent().h
In case of being neccesary, I think this would be a nice moment due to
recent leosettings restructuration.
--
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.
