| Index: client/dom/generated/src/frog/HTMLFrameElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLFrameElement.dart b/client/dom/generated/src/frog/HTMLFrameElement.dart
|
| index 29b257966425188f3f45fe9cc2436241d8a2742d..eeae8fe48a8854a509cdc742e48e559ab2601c3e 100644
|
| --- a/client/dom/generated/src/frog/HTMLFrameElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLFrameElement.dart
|
| @@ -1,31 +1,49 @@
|
|
|
| class HTMLFrameElement extends HTMLElement native "*HTMLFrameElement" {
|
|
|
| - Document contentDocument;
|
| + Document get contentDocument() native "return this.contentDocument;";
|
|
|
| - DOMWindow contentWindow;
|
| + DOMWindow get contentWindow() native "return this.contentWindow;";
|
|
|
| - String frameBorder;
|
| + String get frameBorder() native "return this.frameBorder;";
|
|
|
| - int height;
|
| + void set frameBorder(String value) native "this.frameBorder = value;";
|
|
|
| - String location;
|
| + int get height() native "return this.height;";
|
|
|
| - String longDesc;
|
| + String get location() native "return this.location;";
|
|
|
| - String marginHeight;
|
| + void set location(String value) native "this.location = value;";
|
|
|
| - String marginWidth;
|
| + String get longDesc() native "return this.longDesc;";
|
|
|
| - String name;
|
| + void set longDesc(String value) native "this.longDesc = value;";
|
|
|
| - bool noResize;
|
| + 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;";
|
|
|
| - int width;
|
| + 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;";
|
| +
|
| + bool get noResize() native "return this.noResize;";
|
| +
|
| + void set noResize(bool value) native "this.noResize = 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;";
|
| +
|
| + int get width() native "return this.width;";
|
|
|
| SVGDocument getSVGDocument() native;
|
| }
|
|
|