VSync not working when mouse is moved

[Luy]

Just observed a strange behaviour, not sure if it is a bug in my graphics driver or caused by the way the mouse is polled. If I enable VSync and print the elapsed time every frame, I get much smaller values when I move the mouse. This is even true for trivial programs which do not render anything and do not process any input.