| Index: client/dom/generated/src/frog/HTMLElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLElement.dart b/client/dom/generated/src/frog/HTMLElement.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..aa6f58dbe655fffb93879357ef596abb4672ca45
|
| --- /dev/null
|
| +++ b/client/dom/generated/src/frog/HTMLElement.dart
|
| @@ -0,0 +1,45 @@
|
| +
|
| +class HTMLElement extends Element native "HTMLElement" {
|
| +
|
| + HTMLCollection children;
|
| +
|
| + DOMTokenList classList;
|
| +
|
| + String className;
|
| +
|
| + String contentEditable;
|
| +
|
| + String dir;
|
| +
|
| + bool draggable;
|
| +
|
| + bool hidden;
|
| +
|
| + String id;
|
| +
|
| + String innerHTML;
|
| +
|
| + String innerText;
|
| +
|
| + bool isContentEditable;
|
| +
|
| + String lang;
|
| +
|
| + String outerHTML;
|
| +
|
| + String outerText;
|
| +
|
| + bool spellcheck;
|
| +
|
| + int tabIndex;
|
| +
|
| + String title;
|
| +
|
| + String webkitdropzone;
|
| +
|
| + Element insertAdjacentElement(String where, Element element) native;
|
| +
|
| + void insertAdjacentHTML(String where, String html) native;
|
| +
|
| + void insertAdjacentText(String where, String text) native;
|
| +}
|
|
|