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...
Sorry for always replying to my own bug, but I have more info, and I am getting really confused now: 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. properties disabled it again - for the time being...
I disabled key repeat using the gnome-keyboard-
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-