> Good suggestion, Matt. It didn't occur to me to go directly to the > leoDocs.leo file. I just posted a small spelling correction. If that works > as expected, then I will know how to find and fix other things. >
That worked. Seeing the change in git diff is hard (ref <https://github.com/leo-editor/leo-editor/commit/0aa6c5bc51b50d7806556e0d923de49857033d8b>), but I don't think that's a reason to not use this method. It's version control! So we can pick and choose changes if needed. Leo has Comparing Outlines <http://leoeditor.com/commands.html#comparing-outlines> commands. I guess it's time to learn how those work. And how to use git to extract 2 versions of the same file. ;-) matt -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
