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 |
deleted file mode 100644 |
index c66071f599394eac6eb27d8117e8f579a4738e1a..0000000000000000000000000000000000000000 |
--- a/client/dom/generated/src/frog/HTMLElement.dart |
+++ /dev/null |
@@ -1,51 +0,0 @@ |
- |
-class _HTMLElementJs extends _ElementJs implements HTMLElement native "*HTMLElement" { |
- |
- String accessKey; |
- |
- final _HTMLCollectionJs children; |
- |
- final _DOMTokenListJs classList; |
- |
- String className; |
- |
- String contentEditable; |
- |
- String dir; |
- |
- bool draggable; |
- |
- bool hidden; |
- |
- String id; |
- |
- String innerHTML; |
- |
- String innerText; |
- |
- final bool isContentEditable; |
- |
- String lang; |
- |
- String outerHTML; |
- |
- String outerText; |
- |
- bool spellcheck; |
- |
- int tabIndex; |
- |
- String title; |
- |
- bool translate; |
- |
- String webkitdropzone; |
- |
- void click() native; |
- |
- _ElementJs insertAdjacentElement(String where, _ElementJs element) native; |
- |
- void insertAdjacentHTML(String where, String html) native; |
- |
- void insertAdjacentText(String where, String text) native; |
-} |