| OLD | NEW |
| 1 | 1 |
| 2 class HTMLEmbedElement extends HTMLElement native "*HTMLEmbedElement" { | 2 class HTMLEmbedElement extends HTMLElement native "*HTMLEmbedElement" { |
| 3 | 3 |
| 4 String align; | 4 String get align() native "return this.align;"; |
| 5 | 5 |
| 6 String height; | 6 void set align(String value) native "this.align = value;"; |
| 7 | 7 |
| 8 String name; | 8 String get height() native "return this.height;"; |
| 9 | 9 |
| 10 String src; | 10 void set height(String value) native "this.height = value;"; |
| 11 | 11 |
| 12 String type; | 12 String get name() native "return this.name;"; |
| 13 | 13 |
| 14 String width; | 14 void set name(String value) native "this.name = value;"; |
| 15 |
| 16 String get src() native "return this.src;"; |
| 17 |
| 18 void set src(String value) native "this.src = value;"; |
| 19 |
| 20 String get type() native "return this.type;"; |
| 21 |
| 22 void set type(String value) native "this.type = value;"; |
| 23 |
| 24 String get width() native "return this.width;"; |
| 25 |
| 26 void set width(String value) native "this.width = value;"; |
| 15 | 27 |
| 16 SVGDocument getSVGDocument() native; | 28 SVGDocument getSVGDocument() native; |
| 17 } | 29 } |
| OLD | NEW |