| OLD | NEW |
| 1 | 1 |
| 2 class _SVGStyleElementJs extends _SVGElementJs implements SVGStyleElement native
"*SVGStyleElement" { | 2 class _SVGStyleElementJs extends _SVGElementJs implements SVGStyleElement native
"*SVGStyleElement" { |
| 3 | 3 |
| 4 String get media() native "return this.media;"; | 4 String media; |
| 5 | 5 |
| 6 void set media(String value) native "this.media = value;"; | 6 String title; |
| 7 | 7 |
| 8 String get title() native "return this.title;"; | 8 String type; |
| 9 | |
| 10 void set title(String value) native "this.title = value;"; | |
| 11 | |
| 12 String get type() native "return this.type;"; | |
| 13 | |
| 14 void set type(String value) native "this.type = value;"; | |
| 15 | 9 |
| 16 // From SVGLangSpace | 10 // From SVGLangSpace |
| 17 | 11 |
| 18 String get xmllang() native "return this.xmllang;"; | 12 String xmllang; |
| 19 | 13 |
| 20 void set xmllang(String value) native "this.xmllang = value;"; | 14 String xmlspace; |
| 21 | |
| 22 String get xmlspace() native "return this.xmlspace;"; | |
| 23 | |
| 24 void set xmlspace(String value) native "this.xmlspace = value;"; | |
| 25 } | 15 } |
| OLD | NEW |