I can confirm that disabling c.k.keyboardQuit does make the scroll problem go away, using the latest release.
Do you use any tool to move around the code base? Such as ctags or cscope? On Tuesday, September 25, 2012 5:54:25 AM UTC-7, Edward K. Ream wrote: > > On Tue, Sep 25, 2012 at 6:34 AM, Edward K. Ream > <[email protected]<javascript:>> > wrote: > > On Mon, Sep 24, 2012 at 10:14 PM, F.S. <[email protected] <javascript:>> > 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. > > Happily, I guess you could say, this bug bit me in the last week, so I > have a reliable test node. It's simply the docstring for the > screencast plugin. I've copied it to test.leo for testing, but I > haven't pushed anything. > > To reproduce the bug, simply scroll to the end of the node, either > with the mouse wheel or Ctrl-End or even with lots of arrow keys. Now > click near the end of the body text and the text scrolls so the cursor > is invisible. > > Per the diff, my attention was drawn to this line in > leoQtBaseTextWidget.mouseReleaseEvent:: > > c.k.keyboardQuit(setFocus=False) > > Disabling this line makes the unwanted scroll go away. Amazingly, the > following comment precedes this line:: > > # 2011/10/02: Calling k.keyboardQuit here causes some > # unwanted scrolling in rare cases, but seemingly that > # can't be helped: removing this call would be confusing. > > Knowing that the unwanted scroll happens somewhere in the > k.keyboardQuit logic is a good start, but now we must find out exactly > what is causing the unwanted scroll. > > F.S., could you verify that disabling this line "fixes" the bug for > you with the latest bzr version? Thanks. > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To view this discussion on the web visit https://groups.google.com/d/msg/leo-editor/-/55612fX3gZ4J. 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.
