jdk/src/java.desktop/share/classes/javax/swing/SwingUtilities.java
changeset 26037 508779ce6619
parent 26032 a60a06edaf4e
parent 25859 3317bb8137f4
child 26738 e3136e7e7046
--- a/jdk/src/java.desktop/share/classes/javax/swing/SwingUtilities.java	Mon Aug 18 14:03:21 2014 +0100
+++ b/jdk/src/java.desktop/share/classes/javax/swing/SwingUtilities.java	Tue Aug 19 10:32:16 2014 -0700
@@ -374,7 +374,8 @@
                                            sourceWheelEvent.isPopupTrigger(),
                                            sourceWheelEvent.getScrollType(),
                                            sourceWheelEvent.getScrollAmount(),
-                                           sourceWheelEvent.getWheelRotation());
+                                           sourceWheelEvent.getWheelRotation(),
+                                           sourceWheelEvent.getPreciseWheelRotation());
         }
         else if (sourceEvent instanceof MenuDragMouseEvent) {
             MenuDragMouseEvent sourceMenuDragEvent = (MenuDragMouseEvent)sourceEvent;