| Index: client/html/generated/src/interface/OptionElement.dart
|
| diff --git a/client/html/generated/src/interface/OptionElement.dart b/client/html/generated/src/interface/OptionElement.dart
|
| index f16dbe95630a6b0d09d34a8ed9f3e6c5204d02e5..e9b0fb68d5288ffc986ce4b82d1073a6ae93ad60 100644
|
| --- a/client/html/generated/src/interface/OptionElement.dart
|
| +++ b/client/html/generated/src/interface/OptionElement.dart
|
| @@ -28,6 +28,8 @@ interface OptionElement extends Element {
|
|
|
| String get text();
|
|
|
| + void set text(String value);
|
| +
|
| String get value();
|
|
|
| void set value(String value);
|
|
|