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 d40e4ee06bff011a6b69a3139a223281516fc0ad..fd17559b9af9e44fe14be8a9c18bf883048689e3 100644 |
--- a/client/dom/generated/src/frog/HTMLOptionElement.dart |
+++ b/client/dom/generated/src/frog/HTMLOptionElement.dart |
@@ -1,31 +1,19 @@ |
class _HTMLOptionElementJs extends _HTMLElementJs implements HTMLOptionElement native "*HTMLOptionElement" { |
- bool get defaultSelected() native "return this.defaultSelected;"; |
+ bool defaultSelected; |
- void set defaultSelected(bool value) native "this.defaultSelected = value;"; |
+ bool disabled; |
- bool get disabled() native "return this.disabled;"; |
+ final _HTMLFormElementJs form; |
- void set disabled(bool value) native "this.disabled = value;"; |
+ final int index; |
- _HTMLFormElementJs get form() native "return this.form;"; |
+ String label; |
- int get index() native "return this.index;"; |
+ bool selected; |
- String get label() native "return this.label;"; |
+ String text; |
- void set label(String value) native "this.label = value;"; |
- |
- bool get selected() native "return this.selected;"; |
- |
- void set selected(bool value) native "this.selected = value;"; |
- |
- String get text() native "return this.text;"; |
- |
- void set text(String value) native "this.text = value;"; |
- |
- String get value() native "return this.value;"; |
- |
- void set value(String value) native "this.value = value;"; |
+ String value; |
} |