another strange point is that it is of no mattter if I turn on key mapping in game or not. the keystroke repeating takes place when alt-shift-R is pressed.