Fix keyboard handling: Keyboard repeat (GLFW_REPEAT) was not taken into account.