On Fri, Feb 19, 2010 at 4:58 AM, Edward K. Ream <[email protected]> wrote: > 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.
Right. What led me to discover it is the fact that Bzr will create files in case of conflict: start.leo = start.leo.THIS, start.leo.BASE, start.leo.OTHER Instead of looking at start.leo, which is now polluted by conflict markers, I was opening the renamed versions. I thought being on the command line would signal that the file was a Leo file, but evidently Leo can be passed any filename, will put it into an @edit node. I just tried $ leo myfile.py and see that Leo puts the .py file into an @edit node, doesn't parse it. If Leo does the same thing always with filenames in argv, assuming a Leo file might be acceptable. Thanks, Kent > > 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. > > -- 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.
