| Index: client/html/generated/html/interface/Element.dart
|
| diff --git a/client/html/generated/html/interface/Element.dart b/client/html/generated/html/interface/Element.dart
|
| index d13c32a8ee4e4ff26dedf08d88b94796da9351dd..2045e2e895e47cc942d54ec808b8e567d7e11230 100644
|
| --- a/client/html/generated/html/interface/Element.dart
|
| +++ b/client/html/generated/html/interface/Element.dart
|
| @@ -301,28 +301,12 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
|
|
|
| static final int ALLOW_KEYBOARD_INPUT = 1;
|
|
|
| - final int _childElementCount;
|
| -
|
| - final HTMLCollection _children;
|
| -
|
| - String _className;
|
| -
|
| - final int _clientHeight;
|
| -
|
| - final int _clientLeft;
|
| -
|
| - final int _clientTop;
|
| -
|
| - final int _clientWidth;
|
| -
|
| String contentEditable;
|
|
|
| String dir;
|
|
|
| bool draggable;
|
|
|
| - final Element _firstElementChild;
|
| -
|
| bool hidden;
|
|
|
| String id;
|
| @@ -337,28 +321,12 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
|
|
|
| final Element nextElementSibling;
|
|
|
| - final int _offsetHeight;
|
| -
|
| - final int _offsetLeft;
|
| -
|
| final Element offsetParent;
|
|
|
| - final int _offsetTop;
|
| -
|
| - final int _offsetWidth;
|
| -
|
| final String outerHTML;
|
|
|
| final Element previousElementSibling;
|
|
|
| - final int _scrollHeight;
|
| -
|
| - int _scrollLeft;
|
| -
|
| - int _scrollTop;
|
| -
|
| - final int _scrollWidth;
|
| -
|
| bool spellcheck;
|
|
|
| final CSSStyleDeclaration style;
|
| @@ -381,14 +349,6 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
|
|
|
| void focus();
|
|
|
| - String _getAttribute(String name);
|
| -
|
| - ClientRect _getBoundingClientRect();
|
| -
|
| - ClientRectList _getClientRects();
|
| -
|
| - bool _hasAttribute(String name);
|
| -
|
| Element insertAdjacentElement(String where, Element element);
|
|
|
| void insertAdjacentHTML(String where, String html);
|
| @@ -397,18 +357,12 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
|
|
|
| Element query(String selectors);
|
|
|
| - NodeList _querySelectorAll(String selectors);
|
| -
|
| - void _removeAttribute(String name);
|
| -
|
| void scrollByLines(int lines);
|
|
|
| void scrollByPages(int pages);
|
|
|
| void scrollIntoView([bool centerIfNeeded]);
|
|
|
| - void _setAttribute(String name, String value);
|
| -
|
| bool matchesSelector(String selectors);
|
|
|
| void webkitRequestFullScreen(int flags);
|
|
|