equal
deleted
inserted
replaced
4429 e.getYOnScreen(), |
4429 e.getYOnScreen(), |
4430 e.getClickCount(), |
4430 e.getClickCount(), |
4431 e.isPopupTrigger(), |
4431 e.isPopupTrigger(), |
4432 ((MouseWheelEvent)e).getScrollType(), |
4432 ((MouseWheelEvent)e).getScrollType(), |
4433 ((MouseWheelEvent)e).getScrollAmount(), |
4433 ((MouseWheelEvent)e).getScrollAmount(), |
4434 ((MouseWheelEvent)e).getWheelRotation()); |
4434 ((MouseWheelEvent)e).getWheelRotation(), |
|
4435 ((MouseWheelEvent)e).getPreciseWheelRotation()); |
4435 } |
4436 } |
4436 else { |
4437 else { |
4437 retargeted = new MouseEvent(target, |
4438 retargeted = new MouseEvent(target, |
4438 id, |
4439 id, |
4439 e.getWhen(), |
4440 e.getWhen(), |