Fixing up WheelEvent to follow W3C standards and work on all platforms.

lib/html/dartium/html_dartium.dart

Index: lib/html/dartium/html_dartium.dart
diff --git a/lib/html/dartium/html_dartium.dart b/lib/html/dartium/html_dartium.dart
index 6bbd66146bbfa16491091bba494a7e3e364e96a9..78dd9da372f7568c2225bd23c3bc7d526c389077 100644
--- a/lib/html/dartium/html_dartium.dart
+++ b/lib/html/dartium/html_dartium.dart
@@ -40449,43 +40449,39 @@ class _WebSocketImpl extends _EventTargetImpl implements WebSocket {
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-// WARNING: Do not edit - generated code.
-
 /// @domName WheelEvent
 abstract class WheelEvent implements MouseEvent {
 
   /** @domName WheelEvent.webkitDirectionInvertedFromDevice */
   abstract bool get webkitDirectionInvertedFromDevice;
 
-  /** @domName WheelEvent.wheelDelta */
-  abstract int get wheelDelta;
+  /** @domName WheelEvent.initWebKitWheelEvent */
+  void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, Window view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey);
+
 
-  /** @domName WheelEvent.wheelDeltaX */
-  abstract int get wheelDeltaX;
+  /** @domName WheelEvent.deltaX */
+  num get deltaX;
 
-  /** @domName WheelEvent.wheelDeltaY */
-  abstract int get wheelDeltaY;
+  /** @domName WheelEvent.deltaY */
+  num get deltaY;
 
-  /** @domName WheelEvent.initWebKitWheelEvent */
-  void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, Window view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey);
+  /** @domName WheelEvent.deltaMode */
+  int get deltaMode;
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-// WARNING: Do not edit - generated code.
-
 class _WheelEventImpl extends _MouseEventImpl implements WheelEvent {
 
   bool get webkitDirectionInvertedFromDevice native "WheelEvent_webkitDirectionInvertedFromDevice_Getter";
 
-  int get wheelDelta native "WheelEvent_wheelDelta_Getter";
-
-  int get wheelDeltaX native "WheelEvent_wheelDeltaX_Getter";
+  void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, Window view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey) native "WheelEvent_initWebKitWheelEvent_Callback";
 
-  int get wheelDeltaY native "WheelEvent_wheelDeltaY_Getter";
 
-  void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, Window view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey) native "WheelEvent_initWebKitWheelEvent_Callback";
+  num get deltaY native 'WheelEvent_wheelDelta_Getter';
+  num get deltaX native 'WheelEvent_wheelDeltaX_Getter';
+  int get deltaMode => 0;
 
 }
 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
@@ -43459,6 +43455,11 @@ class _Device {
    * Determines if the current device is running Firefox.
    */
   static bool get isFirefox => userAgent.contains("Firefox", 0);
+
+  /**
+   * Determines if the current device is running WebKit.
+   */
+  static bool get isWebKit => !isOpera && userAgent.contains("WebKit", 0);
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a