| Index: client/dom/generated/src/interface/HTMLOptionElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLOptionElement.dart b/client/dom/generated/src/interface/HTMLOptionElement.dart
|
| index 7eecbdb371b186ee5af083d6e4aa83b2842e689d..6f408a3a82cc5417ee581fa838ffcfd914c04385 100644
|
| --- a/client/dom/generated/src/interface/HTMLOptionElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLOptionElement.dart
|
| @@ -6,31 +6,19 @@
|
|
|
| interface HTMLOptionElement extends HTMLElement {
|
|
|
| - bool get defaultSelected();
|
| + bool defaultSelected;
|
|
|
| - void set defaultSelected(bool value);
|
| + bool disabled;
|
|
|
| - bool get disabled();
|
| + final HTMLFormElement form;
|
|
|
| - void set disabled(bool value);
|
| + final int index;
|
|
|
| - HTMLFormElement get form();
|
| + String label;
|
|
|
| - int get index();
|
| + bool selected;
|
|
|
| - String get label();
|
| + String text;
|
|
|
| - void set label(String value);
|
| -
|
| - bool get selected();
|
| -
|
| - void set selected(bool value);
|
| -
|
| - String get text();
|
| -
|
| - void set text(String value);
|
| -
|
| - String get value();
|
| -
|
| - void set value(String value);
|
| + String value;
|
| }
|
|
|