On Fri, Jun 27, 2014 at 6:07 AM, Zoltan Benedek <[email protected]> wrote: > Hi, > > Recently I've tried some commands in the minibuffer and got some problems:
These have been fixed at rev ba20f6dbaa86. They were introduced June 20 at rev 288847b40e3. I'm glad this bug happened. To find it, I had to zero in on the offending rev using a divide & conquer strategy. This is super easy to do using git checkout. Once I could see the buggy code, it was obvious what the fix was. My usual strategy of tracing the flow of focus-related calls did not work in this case. 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.
