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 d3e4afdc24a46fc7c1b0a5d267895fe77630f0a2..a2d8918dbdb6c090e75e4187861705f1f195765a 100644 |
--- a/client/dom/generated/src/frog/HTMLIsIndexElement.dart |
+++ b/client/dom/generated/src/frog/HTMLIsIndexElement.dart |
@@ -1,7 +1,9 @@ |
class HTMLIsIndexElement extends HTMLInputElement native "*HTMLIsIndexElement" { |
- HTMLFormElement form; |
+ HTMLFormElement get form() native "return this.form;"; |
- String prompt; |
+ String get prompt() native "return this.prompt;"; |
+ |
+ void set prompt(String value) native "this.prompt = value;"; |
} |