On Wed, Nov 13, 2013 at 8:06 AM, Kent Tenney <[email protected]> wrote:
> > I tend to think that a local myLeoSettings.leo file is the answer > . > Ah. That's the simple way. Thanks for the suggestion. - Create leo/beginners folder. - In it, put a myLeoSettings.leo tailored for beginners. - When Leo starts up, if myLeoSettings.leo does not exist, but the *simplified* myLeoSettings.leo in the usual place. Or even better, since this would be automatic anyway, do the following: - Create simplifiedMyLeoSettings.leo in leo/config. - Have the code the code that creates myLeoSettings.leo just do the rename. This will work. I'll do this when I fix https://bugs.launchpad.net/leo-editor/+bug/555014 create empty myLeoSettings.leo on first run Except now the bug is renamed! So this is good. Anyone want to suggest the contents of simplifiedMyLeoSettings.leo? Edward -- 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.
