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 |