On Thu, Feb 18, 2010 at 8:24 PM, Edward K. Ream <[email protected]> wrote: > On Thu, Feb 18, 2010 at 8:13 PM, Kent Tenney <[email protected]> wrote: >> I don't know if this is a bug, it surprised me: >> Leo doesn't open a Leo file correctly if it's renamed >> and doesn't have a .leo extension. > > I don't know if this is a bug either. It's not enough to delay anything.
Let me elaborate on my short answer. This bug, if it is a bug, will not happen often, and there is an easy workaround: put the .leo extension back. The bug may be easy for the user to fix, but it can not be fixed safely this late in the release cycle. The fix would likely affect g.openWithFileName, a crucial part of Leo. It would be difficult to know whether any manipulation of the file name would have unintended consequences. If you think this is important enough, we can attempt a fix early in the next release cycle. Edward -- 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.
