372 sourceWheelEvent.getYOnScreen(), |
372 sourceWheelEvent.getYOnScreen(), |
373 sourceWheelEvent.getClickCount(), |
373 sourceWheelEvent.getClickCount(), |
374 sourceWheelEvent.isPopupTrigger(), |
374 sourceWheelEvent.isPopupTrigger(), |
375 sourceWheelEvent.getScrollType(), |
375 sourceWheelEvent.getScrollType(), |
376 sourceWheelEvent.getScrollAmount(), |
376 sourceWheelEvent.getScrollAmount(), |
377 sourceWheelEvent.getWheelRotation()); |
377 sourceWheelEvent.getWheelRotation(), |
|
378 sourceWheelEvent.getPreciseWheelRotation()); |
378 } |
379 } |
379 else if (sourceEvent instanceof MenuDragMouseEvent) { |
380 else if (sourceEvent instanceof MenuDragMouseEvent) { |
380 MenuDragMouseEvent sourceMenuDragEvent = (MenuDragMouseEvent)sourceEvent; |
381 MenuDragMouseEvent sourceMenuDragEvent = (MenuDragMouseEvent)sourceEvent; |
381 newEvent = new MenuDragMouseEvent(newSource, |
382 newEvent = new MenuDragMouseEvent(newSource, |
382 sourceMenuDragEvent.getID(), |
383 sourceMenuDragEvent.getID(), |