| Index: client/html/generated/html/interface/OptionElement.dart
|
| diff --git a/client/html/generated/html/interface/OptionElement.dart b/client/html/generated/html/interface/OptionElement.dart
|
| index f5439c6e6678d6ed9769a013b32079621abd62a5..7e7a5e29a391a64183b792c0e5c9a0a63a26a144 100644
|
| --- a/client/html/generated/html/interface/OptionElement.dart
|
| +++ b/client/html/generated/html/interface/OptionElement.dart
|
| @@ -4,7 +4,9 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface OptionElement extends Element {
|
| +interface OptionElement extends Element default _OptionElementFactoryProvider {
|
| +
|
| + OptionElement([String data, String value, bool defaultSelected, bool selected]);
|
|
|
| bool defaultSelected;
|
|
|
|
|