People can expect an official fix shortly after I work out why this makes the mouse pointer jump to (0,0) the first time a special key is pressed :).
People can expect an official fix shortly after I work out why this makes the mouse pointer jump to (0,0) the first time a special key is pressed :).