Make WheelEvent.delta{X,Y} return num, not int.

lib/html/scripts/htmlrenamer.py

Index: lib/html/scripts/htmlrenamer.py
diff --git a/lib/html/scripts/htmlrenamer.py b/lib/html/scripts/htmlrenamer.py
index 55aca937e29c9f166ca729b354add405673f606a..ee7892f19e7fe664566c58e3bf150edd7f883c95 100644
--- a/lib/html/scripts/htmlrenamer.py
+++ b/lib/html/scripts/htmlrenamer.py
@@ -36,14 +36,14 @@ _private_html_members = set([
   'Document.createEvent',
   'Document.createTextNode',
   'Document.createTouchList',
+  'DocumentFragment.querySelector',

[Anton Muhin, 2012/10/11 18:37:25]

just sorting

+  'DocumentFragment.querySelectorAll',
   'Document.getElementById',
   'Document.getElementsByClassName',
   'Document.getElementsByName',
   'Document.getElementsByTagName',
   'Document.querySelector',
   'Document.querySelectorAll',
-  'DocumentFragment.querySelector',
-  'DocumentFragment.querySelectorAll',
   'Element.childElementCount',
   'Element.children',
   'Element.className',
@@ -61,6 +61,7 @@ _private_html_members = set([
   'EventTarget.addEventListener',
   'EventTarget.dispatchEvent',
   'EventTarget.removeEventListener',
+  'LocalWindow.getComputedStyle',
   'MouseEvent.initMouseEvent',
   'Node.appendChild',
   'Node.attributes',
@@ -73,13 +74,14 @@ _private_html_members = set([
   'ShadowRoot.getElementById',
   'ShadowRoot.getElementsByClassName',
   'ShadowRoot.getElementsByTagName',
-  'Storage.length',
   'Storage.clear',
   'Storage.getItem',
   'Storage.key',
+  'Storage.length',
   'Storage.removeItem',
   'Storage.setItem',
-  'LocalWindow.getComputedStyle',
+  'WheelEvent.wheelDeltaX',

[Anton Muhin, 2012/10/11 18:37:25]

these are added

+  'WheelEvent.wheelDeltaY',
 ])
 
 # Members from the standard dom that exist in the dart:html library with
@@ -268,6 +270,7 @@ _removed_html_members = set([
     "LocalWindow.get:frames",
     "LocalWindow.get:length",
     "LocalWindow.webkitCancelRequestAnimationFrame",
+    "WheelEvent.wheelDelta",

[Anton Muhin, 2012/10/11 18:37:25]

for consistency

     ])
 
 class HtmlRenamer(object):