| Index: client/dom/generated/src/frog/HTMLOptionElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLOptionElement.dart b/client/dom/generated/src/frog/HTMLOptionElement.dart
|
| index 10294f9d7fbfa5d5add6aa1bf633b48eb17de46a..b6158bdbd58d148bf10b65bf44654c2bc5efbb5d 100644
|
| --- a/client/dom/generated/src/frog/HTMLOptionElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLOptionElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLOptionElement extends HTMLElement native "*HTMLOptionElement" {
|
| +class HTMLOptionElementJS extends HTMLElementJS implements HTMLOptionElement native "*HTMLOptionElement" {
|
|
|
| bool get defaultSelected() native "return this.defaultSelected;";
|
|
|
| @@ -9,7 +9,7 @@ class HTMLOptionElement extends HTMLElement native "*HTMLOptionElement" {
|
|
|
| void set disabled(bool value) native "this.disabled = value;";
|
|
|
| - HTMLFormElement get form() native "return this.form;";
|
| + HTMLFormElementJS get form() native "return this.form;";
|
|
|
| int get index() native "return this.index;";
|
|
|
|
|