Peter Kümmel wrote: > Peter Kümmel wrote: > >> Abdelrazak Younes wrote: >> >>> http://bugzilla.lyx.org/show_bug.cgi?id=3320 >>> >>> There's a patch mostly ready for the key release problem. The only >>> problem with the patch is that it uses specific X11 event; it would be >>> better to do something similar with Qt only API. But this is not a big >>> problem because the bug is only visible on certain version of X11 >>> apparently, not for Windows or Mac. >>> >> I've found a simpler solution. See attached patch. >> >> [snip] >> > but I forgot that it would also eat other key events. So when you type text > faster than the GUI could update, what should be possible with ten fingers, > some will be lost. We must check for the page up/down key. I update the patch. > There are other keys that this happens with. It can happen with the arrow keys, for example. So we don't want to check for just those keys, I don't think, but for various navigation keys. And you can see the same kind of behavior about which Helge originally complained even when pressing, say, "x" and holding it down: if the system is under load, you can keep getting x's for a while after you release the key. So I think what we need to do is check for release events in general---key releases, mouse button releases, and clear the event cache when we get them. Or will the key release event arrive too late? Anyway, I'll leave it to you. I'm on the trail of a different bug at the moment.
Richard -- ================================================================== Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ ================================================================== Get my public key from http://sks.keyserver.penguin.de Hash: 0x1DE91F1E66FFBDEC Learn how to sign your email using Thunderbird and GnuPG at: http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
