| Index: client/dom/generated/src/interface/HTMLIFrameElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLIFrameElement.dart b/client/dom/generated/src/interface/HTMLIFrameElement.dart
|
| index f4886d274116fa3dc351b3f512952d94ba2ac004..fed0c445fbb94a5e584fb198ab9ba565ba936611 100644
|
| --- a/client/dom/generated/src/interface/HTMLIFrameElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLIFrameElement.dart
|
| @@ -6,53 +6,31 @@
|
|
|
| interface HTMLIFrameElement extends HTMLElement {
|
|
|
| - String get align();
|
| + String align;
|
|
|
| - void set align(String value);
|
| + final Document contentDocument;
|
|
|
| - Document get contentDocument();
|
| + final DOMWindow contentWindow;
|
|
|
| - DOMWindow get contentWindow();
|
| + String frameBorder;
|
|
|
| - String get frameBorder();
|
| + String height;
|
|
|
| - void set frameBorder(String value);
|
| + String longDesc;
|
|
|
| - String get height();
|
| + String marginHeight;
|
|
|
| - void set height(String value);
|
| + String marginWidth;
|
|
|
| - String get longDesc();
|
| + String name;
|
|
|
| - void set longDesc(String value);
|
| + String sandbox;
|
|
|
| - String get marginHeight();
|
| + String scrolling;
|
|
|
| - void set marginHeight(String value);
|
| + String src;
|
|
|
| - String get marginWidth();
|
| -
|
| - void set marginWidth(String value);
|
| -
|
| - String get name();
|
| -
|
| - void set name(String value);
|
| -
|
| - String get sandbox();
|
| -
|
| - void set sandbox(String value);
|
| -
|
| - String get scrolling();
|
| -
|
| - void set scrolling(String value);
|
| -
|
| - String get src();
|
| -
|
| - void set src(String value);
|
| -
|
| - String get width();
|
| -
|
| - void set width(String value);
|
| + String width;
|
|
|
| SVGDocument getSVGDocument();
|
| }
|
|
|