Index: sdk/lib/html/dartium/html_dartium.dart |
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart |
index b15884cc0c60e2ee1f20581ef88d3acb1032bfa8..29a9264cfa13b56edf6ffc8ca28a73adb48b225f 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -26710,7 +26710,7 @@ class WheelEvent extends MouseEvent { |
screenX, screenY, clientX, clientY, ctrlKey, altKey, shiftKey, |
metaKey, button, relatedTarget); |
event.$dom_initWebKitWheelEvent(wheelDeltaX, |
- (wheelDeltaY / 120).toInt(), // Chrome does an auto-convert to pixels. |
+ wheelDeltaY ~/ 120, // Chrome does an auto-convert to pixels. |
view, screenX, screenY, clientX, clientY, ctrlKey, altKey, shiftKey, |
metaKey); |