| Index: client/dom/generated/src/interface/Element.dart
|
| diff --git a/client/dom/generated/src/interface/Element.dart b/client/dom/generated/src/interface/Element.dart
|
| index 05aec2dbf1a44be374f4f12a91bc28ae82c05e37..f7c3f1c0595b9204e99a5c1432647f86d0a9d4b1 100644
|
| --- a/client/dom/generated/src/interface/Element.dart
|
| +++ b/client/dom/generated/src/interface/Element.dart
|
| @@ -8,49 +8,45 @@ interface Element extends Node, NodeSelector, ElementTraversal {
|
|
|
| static final int ALLOW_KEYBOARD_INPUT = 1;
|
|
|
| - int get childElementCount();
|
| + final int childElementCount;
|
|
|
| - int get clientHeight();
|
| + final int clientHeight;
|
|
|
| - int get clientLeft();
|
| + final int clientLeft;
|
|
|
| - int get clientTop();
|
| + final int clientTop;
|
|
|
| - int get clientWidth();
|
| + final int clientWidth;
|
|
|
| - Element get firstElementChild();
|
| + final Element firstElementChild;
|
|
|
| - Element get lastElementChild();
|
| + final Element lastElementChild;
|
|
|
| - Element get nextElementSibling();
|
| + final Element nextElementSibling;
|
|
|
| - int get offsetHeight();
|
| + final int offsetHeight;
|
|
|
| - int get offsetLeft();
|
| + final int offsetLeft;
|
|
|
| - Element get offsetParent();
|
| + final Element offsetParent;
|
|
|
| - int get offsetTop();
|
| + final int offsetTop;
|
|
|
| - int get offsetWidth();
|
| + final int offsetWidth;
|
|
|
| - Element get previousElementSibling();
|
| + final Element previousElementSibling;
|
|
|
| - int get scrollHeight();
|
| + final int scrollHeight;
|
|
|
| - int get scrollLeft();
|
| + int scrollLeft;
|
|
|
| - void set scrollLeft(int value);
|
| + int scrollTop;
|
|
|
| - int get scrollTop();
|
| + final int scrollWidth;
|
|
|
| - void set scrollTop(int value);
|
| + final CSSStyleDeclaration style;
|
|
|
| - int get scrollWidth();
|
| -
|
| - CSSStyleDeclaration get style();
|
| -
|
| - String get tagName();
|
| + final String tagName;
|
|
|
| void blur();
|
|
|
|
|