Return dart:html scroll* etc types to int

Return dart:html scroll* etc types to int

BUG=
R=vsm@google.com

Committed: https://code.google.com/p/dart/source/detail?r=36915

[vsm, 2014-06-03 10:50:44]

lgtm

https://codereview.chromium.org/312733002/diff/1/tools/dom/templates/html/imp...
File tools/dom/templates/html/impl/impl_Element.darttemplate (right):

https://codereview.chromium.org/312733002/diff/1/tools/dom/templates/html/imp...
tools/dom/templates/html/impl/impl_Element.darttemplate:1331: int get
offsetHeight => JS('int', '#.offsetHeight', this).round();
The JS type probably should be num.  I.e., JS('num', '#.offsetHeight', this) has
type num, round converts to int.

I suppose the compiler could optimize away the round() if it "knew" the receiver
was already an int.

[Leaf, 2014-06-03 11:01:42]

https://codereview.chromium.org/312733002/diff/1/tools/dom/templates/html/imp...
File tools/dom/templates/html/impl/impl_Element.darttemplate (right):

https://codereview.chromium.org/312733002/diff/1/tools/dom/templates/html/imp...
tools/dom/templates/html/impl/impl_Element.darttemplate:1331: int get
offsetHeight => JS('int', '#.offsetHeight', this).round();
On 2014/06/03 10:50:45, vsm wrote:
> The JS type probably should be num.  I.e., JS('num', '#.offsetHeight', this)
has
> type num, round converts to int.
> 
> I suppose the compiler could optimize away the round() if it "knew" the
receiver
> was already an int.

Done.

[Leaf, 2014-06-03 11:03:41]

Committed patchset #3 manually as r36915 (presubmit successful).