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 |