| OLD | NEW |
| 1 | 1 |
| 2 class HTMLFontElementJs extends HTMLElementJs implements HTMLFontElement native
"*HTMLFontElement" { | 2 class _HTMLFontElementJs extends _HTMLElementJs implements HTMLFontElement nativ
e "*HTMLFontElement" { |
| 3 | 3 |
| 4 String get color() native "return this.color;"; | 4 String get color() native "return this.color;"; |
| 5 | 5 |
| 6 void set color(String value) native "this.color = value;"; | 6 void set color(String value) native "this.color = value;"; |
| 7 | 7 |
| 8 String get face() native "return this.face;"; | 8 String get face() native "return this.face;"; |
| 9 | 9 |
| 10 void set face(String value) native "this.face = value;"; | 10 void set face(String value) native "this.face = value;"; |
| 11 | 11 |
| 12 String get size() native "return this.size;"; | 12 String get size() native "return this.size;"; |
| 13 | 13 |
| 14 void set size(String value) native "this.size = value;"; | 14 void set size(String value) native "this.size = value;"; |
| 15 } | 15 } |
| OLD | NEW |