On Tue, Apr 28, 2015 at 12:45 PM, 'Terry Brown' via leo-editor < [email protected]> wrote:
> On Tue, 28 Apr 2015 10:15:13 -0700 (PDT) > "Edward K. Ream" <[email protected]> wrote: > > > Don't know how it happened. Please redo it. I think I'm done with > > leoEditCommands.py. > > > > Sorry about that. > > No problem. You had not done real evil, and undone my commit, which I > think requires special "force" flags on a push. You'd just somehow > undone my changes with more changes. Saving from an editor (i.e. Leo) > after pulling without refreshing could do that I guess. > > git diff 7d21d1a^ 7d21d1a leo/core/leoEditCommands.py | git apply > > applies the diff between the commit before 7d21d1a and 7d21d1a again. > Cool. Thanks. Actually, I do what I did: I discarded your leoEditCommands.py instead of the .json file. What's confusing was that the diffs didn't show the reversion... Anyway, it looks like all is back to normal. 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/d/optout.
