On Thu, Mar 23, 2017 at 5:47 AM, lewis <[email protected]> wrote:
> Some minor breakage in menus: Using menu File> Open File> LeoDocs.leo > doesn't open the file. Nor does Help> LeoDocs.leo > ​Great catch. This is extraordinarily useful. Fixed at 407f0ca. While I was at it, I added a few new entries to the File: Open Leo File menu and renamed the top three entries of the Settings menu. The first two open .leo files, so I removed the "Open" prefix. The third is now: Find Local @settings Tree. Keep those corrections coming :-) 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
