Sorry for always replying to my own bug, but I have more info, and I am getting really confused now: I disabled key repeat using the gnome-keyboard-properties tool, and it seemed to work for a while. But suddenly the problem reappeared, key repeat was *reenabled*, although running gnome-keyboard-properties showed it was still disabled. I did not run any other tools or utilities at the time, just normal usage of Opera. Checking and unchecking key repeat in gnome-keyboard-properties disabled it again - for the time being...
-- [gutsy] key release events get lost https://bugs.launchpad.net/bugs/158436 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
