chiark / gitweb /
Turn off the keyboard-control cursor when the user reverts to mouse