| 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);
|
| }
|
|
|