Peter Kümmel wrote:
I'm running out of ideas... Is this patch better (the flush call is new)? Or with processEvents instead of flush?
event_2.patch works for me --- but then again event_1 did, too. Again, this is on linux. Scrolling appears to be fine (both with arrow keys and page-up and page-down, and with the scrollbars). I don't see any overshoot, either -- scrolling stops as soon as I stop pressing (or within a split-second).
