Index: client/dom/generated/src/frog/HTMLIFrameElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLIFrameElement.dart b/client/dom/generated/src/frog/HTMLIFrameElement.dart |
index 5b0f2937f76ef196f43bc37fb4cc405ea7105902..13825e46822c015e5112cc03b442bbf6acca5bfb 100644 |
--- a/client/dom/generated/src/frog/HTMLIFrameElement.dart |
+++ b/client/dom/generated/src/frog/HTMLIFrameElement.dart |
@@ -1,53 +1,31 @@ |
class _HTMLIFrameElementJs extends _HTMLElementJs implements HTMLIFrameElement native "*HTMLIFrameElement" { |
- String get align() native "return this.align;"; |
+ String align; |
- void set align(String value) native "this.align = value;"; |
+ final _DocumentJs contentDocument; |
- _DocumentJs get contentDocument() native "return this.contentDocument;"; |
+ final _DOMWindowJs contentWindow; |
- _DOMWindowJs get contentWindow() native "return this.contentWindow;"; |
+ String frameBorder; |
- String get frameBorder() native "return this.frameBorder;"; |
+ String height; |
- void set frameBorder(String value) native "this.frameBorder = value;"; |
+ String longDesc; |
- String get height() native "return this.height;"; |
+ String marginHeight; |
- void set height(String value) native "this.height = value;"; |
+ String marginWidth; |
- String get longDesc() native "return this.longDesc;"; |
+ String name; |
- void set longDesc(String value) native "this.longDesc = value;"; |
+ String sandbox; |
- String get marginHeight() native "return this.marginHeight;"; |
+ String scrolling; |
- void set marginHeight(String value) native "this.marginHeight = value;"; |
+ String src; |
- String get marginWidth() native "return this.marginWidth;"; |
- |
- void set marginWidth(String value) native "this.marginWidth = value;"; |
- |
- String get name() native "return this.name;"; |
- |
- void set name(String value) native "this.name = value;"; |
- |
- String get sandbox() native "return this.sandbox;"; |
- |
- void set sandbox(String value) native "this.sandbox = value;"; |
- |
- String get scrolling() native "return this.scrolling;"; |
- |
- void set scrolling(String value) native "this.scrolling = value;"; |
- |
- String get src() native "return this.src;"; |
- |
- void set src(String value) native "this.src = value;"; |
- |
- String get width() native "return this.width;"; |
- |
- void set width(String value) native "this.width = value;"; |
+ String width; |
_SVGDocumentJs getSVGDocument() native; |
} |