| Index: client/dom/generated/src/frog/HTMLIsIndexElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLIsIndexElement.dart b/client/dom/generated/src/frog/HTMLIsIndexElement.dart
|
| index c6024cc4a9d54c8103420a9fd15afd1a9131d306..2a60e609b5236c2d6a8e7d1d2f778ce5cf7e44a8 100644
|
| --- a/client/dom/generated/src/frog/HTMLIsIndexElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLIsIndexElement.dart
|
| @@ -1,9 +1,7 @@
|
|
|
| class _HTMLIsIndexElementJs extends _HTMLInputElementJs implements HTMLIsIndexElement native "*HTMLIsIndexElement" {
|
|
|
| - _HTMLFormElementJs get form() native "return this.form;";
|
| + final _HTMLFormElementJs form;
|
|
|
| - String get prompt() native "return this.prompt;";
|
| -
|
| - void set prompt(String value) native "this.prompt = value;";
|
| + String prompt;
|
| }
|
|
|