earlier today I switched to the proprietary NVidia drivers to be able to develop some programs with OpenGL4.2+. Since then I have noticed various changes to the system, e.g. the mousewheel is much more sensitive (and thus scrolls much faster) and key-repeat does not work (i.e. holding down the button 'a' will not emit multiple a's, not matter how long it is pressed). I can restore the key-repeat functionality by executing
xkbset repeatkeys
or
xset r rate 300 30
but this effect is only temporary. As soon as I launch an OpenGL application, key-repeat will stop working.
I guess all this is related to xorg
and its configuration files but I was neither able to find a way to add key-repeat as a feature to /etc/X11/xorg.conf
(which I created using nvidia-xconfig
in order to see whether I could tinker with it to solve my problems) nor to tell the NVidia drivers to just ignore its xorg-configuration (which would probably break its main functionality anyways).
I am thankful for any suggestions.
-S.
Edit: To clarify the question: Why does the NVidia driver mess with key-repeat and how to make it stop doing that?
nvidia-settings --version
?