Index: client/dom/generated/src/interface/HTMLFrameElement.dart |
diff --git a/client/dom/generated/src/interface/HTMLFrameElement.dart b/client/dom/generated/src/interface/HTMLFrameElement.dart |
index b0cf68445b769baa2cf27bbd3b09f1976a54dc61..81643324c9ce04d3a242f1b46c61963735b83fdf 100644 |
--- a/client/dom/generated/src/interface/HTMLFrameElement.dart |
+++ b/client/dom/generated/src/interface/HTMLFrameElement.dart |
@@ -6,49 +6,31 @@ |
interface HTMLFrameElement extends HTMLElement { |
- Document get contentDocument(); |
+ final Document contentDocument; |
- DOMWindow get contentWindow(); |
+ final DOMWindow contentWindow; |
- String get frameBorder(); |
+ String frameBorder; |
- void set frameBorder(String value); |
+ final int height; |
- int get height(); |
+ String location; |
- String get location(); |
+ String longDesc; |
- void set location(String value); |
+ String marginHeight; |
- String get longDesc(); |
+ String marginWidth; |
- void set longDesc(String value); |
+ String name; |
- String get marginHeight(); |
+ bool noResize; |
- void set marginHeight(String value); |
+ String scrolling; |
- String get marginWidth(); |
+ String src; |
- void set marginWidth(String value); |
- |
- String get name(); |
- |
- void set name(String value); |
- |
- bool get noResize(); |
- |
- void set noResize(bool value); |
- |
- String get scrolling(); |
- |
- void set scrolling(String value); |
- |
- String get src(); |
- |
- void set src(String value); |
- |
- int get width(); |
+ final int width; |
SVGDocument getSVGDocument(); |
} |