| 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 b257424aaa7665d8e2505228e96baa9532508f6b..7eecbdb371b186ee5af083d6e4aa83b2842e689d 100644
|
| --- a/client/dom/generated/src/interface/HTMLOptionElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLOptionElement.dart
|
| @@ -28,6 +28,8 @@ interface HTMLOptionElement extends HTMLElement {
|
|
|
| String get text();
|
|
|
| + void set text(String value);
|
| +
|
| String get value();
|
|
|
| void set value(String value);
|
|
|