On Mon, Sep 24, 2012 at 10:14 PM, F.S. <[email protected]> wrote:

> 4163 was the first revision that introduced the bug. Diff shows quite a bit 
> of change in the qtGui.py w.r.t. cursors and other events.

Thanks for this.  I spent several hours yesterday on this project, but
having the diff between 4162 and 4163 will help tremendously.

It's also good to know that font size matters, as you mention in the
following post.

This bug must be killed once and for all.  The only way to do that is
to understand *exactly* why the bug happens.  It's not good enough
just to make a change that appears to fix the problem for a particular
node or file.  What's required is deep understanding so that we will
have confidence that this kind of thing can never happen again, with
any file or with any node.  This is my goal, and I'm not going to do
anything else until its accomplished.

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.

Reply via email to