| OLD | NEW |
| 1 | 1 |
| 2 class _HTMLFrameElementJs extends _HTMLElementJs implements HTMLFrameElement nat
ive "*HTMLFrameElement" { | 2 class _HTMLFrameElementJs extends _HTMLElementJs implements HTMLFrameElement nat
ive "*HTMLFrameElement" { |
| 3 | 3 |
| 4 _DocumentJs get contentDocument() native "return this.contentDocument;"; | 4 final _DocumentJs contentDocument; |
| 5 | 5 |
| 6 _DOMWindowJs get contentWindow() native "return this.contentWindow;"; | 6 final _DOMWindowJs contentWindow; |
| 7 | 7 |
| 8 String get frameBorder() native "return this.frameBorder;"; | 8 String frameBorder; |
| 9 | 9 |
| 10 void set frameBorder(String value) native "this.frameBorder = value;"; | 10 final int height; |
| 11 | 11 |
| 12 int get height() native "return this.height;"; | 12 String location; |
| 13 | 13 |
| 14 String get location() native "return this.location;"; | 14 String longDesc; |
| 15 | 15 |
| 16 void set location(String value) native "this.location = value;"; | 16 String marginHeight; |
| 17 | 17 |
| 18 String get longDesc() native "return this.longDesc;"; | 18 String marginWidth; |
| 19 | 19 |
| 20 void set longDesc(String value) native "this.longDesc = value;"; | 20 String name; |
| 21 | 21 |
| 22 String get marginHeight() native "return this.marginHeight;"; | 22 bool noResize; |
| 23 | 23 |
| 24 void set marginHeight(String value) native "this.marginHeight = value;"; | 24 String scrolling; |
| 25 | 25 |
| 26 String get marginWidth() native "return this.marginWidth;"; | 26 String src; |
| 27 | 27 |
| 28 void set marginWidth(String value) native "this.marginWidth = value;"; | 28 final int width; |
| 29 | |
| 30 String get name() native "return this.name;"; | |
| 31 | |
| 32 void set name(String value) native "this.name = value;"; | |
| 33 | |
| 34 bool get noResize() native "return this.noResize;"; | |
| 35 | |
| 36 void set noResize(bool value) native "this.noResize = value;"; | |
| 37 | |
| 38 String get scrolling() native "return this.scrolling;"; | |
| 39 | |
| 40 void set scrolling(String value) native "this.scrolling = value;"; | |
| 41 | |
| 42 String get src() native "return this.src;"; | |
| 43 | |
| 44 void set src(String value) native "this.src = value;"; | |
| 45 | |
| 46 int get width() native "return this.width;"; | |
| 47 | 29 |
| 48 _SVGDocumentJs getSVGDocument() native; | 30 _SVGDocumentJs getSVGDocument() native; |
| 49 } | 31 } |
| OLD | NEW |