| Index: sdk/lib/html/dartium/html_dartium.dart
|
| diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
|
| index 9f750a087e93150c5b391e7601e5c3ea0f912cb2..5f4dd99c9c377fe2e43e9e1a6acb164d2b5f8364 100644
|
| --- a/sdk/lib/html/dartium/html_dartium.dart
|
| +++ b/sdk/lib/html/dartium/html_dartium.dart
|
| @@ -10595,59 +10595,59 @@ abstract class Element extends Node implements GlobalEventHandlers, ParentNode,
|
|
|
| @DomName('Element.offsetHeight')
|
| @DocsEditable()
|
| - num get offsetHeight => _blink.Native_Element_offsetHeight_Getter(this).round();
|
| + int get offsetHeight => _blink.Native_Element_offsetHeight_Getter(this).round();
|
|
|
| @DomName('Element.offsetLeft')
|
| @DocsEditable()
|
| - num get offsetLeft => _blink.Native_Element_offsetLeft_Getter(this).round();
|
| + int get offsetLeft => _blink.Native_Element_offsetLeft_Getter(this).round();
|
|
|
| @DomName('Element.offsetTop')
|
| @DocsEditable()
|
| - num get offsetTop => _blink.Native_Element_offsetTop_Getter(this).round();
|
| + int get offsetTop => _blink.Native_Element_offsetTop_Getter(this).round();
|
|
|
| @DomName('Element.offsetWidth')
|
| @DocsEditable()
|
| - num get offsetWidth => _blink.Native_Element_offsetWidth_Getter(this).round();
|
| + int get offsetWidth => _blink.Native_Element_offsetWidth_Getter(this).round();
|
|
|
| @DomName('Element.clientHeight')
|
| @DocsEditable()
|
| - num get clientHeight => _blink.Native_Element_clientHeight_Getter(this).round();
|
| + int get clientHeight => _blink.Native_Element_clientHeight_Getter(this).round();
|
|
|
| @DomName('Element.clientLeft')
|
| @DocsEditable()
|
| - num get clientLeft => _blink.Native_Element_clientLeft_Getter(this).round();
|
| + int get clientLeft => _blink.Native_Element_clientLeft_Getter(this).round();
|
|
|
| @DomName('Element.clientTop')
|
| @DocsEditable()
|
| - num get clientTop => _blink.Native_Element_clientTop_Getter(this).round();
|
| + int get clientTop => _blink.Native_Element_clientTop_Getter(this).round();
|
|
|
| @DomName('Element.clientWidth')
|
| @DocsEditable()
|
| - num get clientWidth => _blink.Native_Element_clientWidth_Getter(this).round();
|
| + int get clientWidth => _blink.Native_Element_clientWidth_Getter(this).round();
|
|
|
| @DomName('Element.scrollHeight')
|
| @DocsEditable()
|
| - num get scrollHeight => _blink.Native_Element_scrollHeight_Getter(this).round();
|
| + int get scrollHeight => _blink.Native_Element_scrollHeight_Getter(this).round();
|
|
|
| @DomName('Element.scrollLeft')
|
| @DocsEditable()
|
| - num get scrollLeft => _blink.Native_Element_scrollLeft_Getter(this).round();
|
| + int get scrollLeft => _blink.Native_Element_scrollLeft_Getter(this).round();
|
|
|
| @DomName('Element.scrollLeft')
|
| @DocsEditable()
|
| - void set scrollLeft(num value) => _blink.Native_Element_scrollLeft_Setter(this, value.round());
|
| + void set scrollLeft(int value) => _blink.Native_Element_scrollLeft_Setter(this, value.round());
|
|
|
| @DomName('Element.scrollTop')
|
| @DocsEditable()
|
| - num get scrollTop => _blink.Native_Element_scrollTop_Getter(this).round();
|
| + int get scrollTop => _blink.Native_Element_scrollTop_Getter(this).round();
|
|
|
| @DomName('Element.scrollTop')
|
| @DocsEditable()
|
| - void set scrollTop(num value) => _blink.Native_Element_scrollTop_Setter(this, value.round());
|
| + void set scrollTop(int value) => _blink.Native_Element_scrollTop_Setter(this, value.round());
|
|
|
| @DomName('Element.scrollWidth')
|
| @DocsEditable()
|
| - num get scrollWidth => _blink.Native_Element_scrollWidth_Getter(this).round();
|
| + int get scrollWidth => _blink.Native_Element_scrollWidth_Getter(this).round();
|
|
|
| // To suppress missing implicit constructor warnings.
|
| factory Element._() { throw new UnsupportedError("Not supported"); }
|
|
|