Index: sdk/lib/html/dart2js/html_dart2js.dart |
diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart |
index 0e2dfb3326782b7db409fed2b3b28ea23fcd54fd..fd233fb75acbd62212b0fe52436ca54494a80261 100644 |
--- a/sdk/lib/html/dart2js/html_dart2js.dart |
+++ b/sdk/lib/html/dart2js/html_dart2js.dart |
@@ -22431,7 +22431,7 @@ class WheelEvent extends MouseEvent native "*WheelEvent" { |
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); |
} |