Last mouse event could be lost if a JS call to eventSender.leapForward is made
First time with webkit-patch script, sorry for the mess. The real bug is: bug#73366