| OLD | NEW |
| 1 | 1 |
| 2 class HTMLAreaElementJs extends HTMLElementJs implements HTMLAreaElement native
"*HTMLAreaElement" { | 2 class _HTMLAreaElementJs extends _HTMLElementJs implements HTMLAreaElement nativ
e "*HTMLAreaElement" { |
| 3 | 3 |
| 4 String get alt() native "return this.alt;"; | 4 String get alt() native "return this.alt;"; |
| 5 | 5 |
| 6 void set alt(String value) native "this.alt = value;"; | 6 void set alt(String value) native "this.alt = value;"; |
| 7 | 7 |
| 8 String get coords() native "return this.coords;"; | 8 String get coords() native "return this.coords;"; |
| 9 | 9 |
| 10 void set coords(String value) native "this.coords = value;"; | 10 void set coords(String value) native "this.coords = value;"; |
| 11 | 11 |
| 12 String get hash() native "return this.hash;"; | 12 String get hash() native "return this.hash;"; |
| (...skipping 23 matching lines...) Expand all Loading... |
| 36 String get search() native "return this.search;"; | 36 String get search() native "return this.search;"; |
| 37 | 37 |
| 38 String get shape() native "return this.shape;"; | 38 String get shape() native "return this.shape;"; |
| 39 | 39 |
| 40 void set shape(String value) native "this.shape = value;"; | 40 void set shape(String value) native "this.shape = value;"; |
| 41 | 41 |
| 42 String get target() native "return this.target;"; | 42 String get target() native "return this.target;"; |
| 43 | 43 |
| 44 void set target(String value) native "this.target = value;"; | 44 void set target(String value) native "this.target = value;"; |
| 45 } | 45 } |
| OLD | NEW |