| Index: client/dom/generated/src/frog/HTMLMapElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLMapElement.dart b/client/dom/generated/src/frog/HTMLMapElement.dart
|
| index 3cea73a5af4d1d8f4ba994eeffe9565d32cb13bd..1f3dbe6ddd7afaf3ee4a5938ac32406bf34c1545 100644
|
| --- a/client/dom/generated/src/frog/HTMLMapElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLMapElement.dart
|
| @@ -1,9 +1,7 @@
|
|
|
| class _HTMLMapElementJs extends _HTMLElementJs implements HTMLMapElement native "*HTMLMapElement" {
|
|
|
| - _HTMLCollectionJs get areas() native "return this.areas;";
|
| + final _HTMLCollectionJs areas;
|
|
|
| - String get name() native "return this.name;";
|
| -
|
| - void set name(String value) native "this.name = value;";
|
| + String name;
|
| }
|
|
|