| Index: client/html/generated/html/dartium/OptionElement.dart
|
| diff --git a/client/html/generated/html/dartium/OptionElement.dart b/client/html/generated/html/dartium/OptionElement.dart
|
| deleted file mode 100644
|
| index e4e1e900ca0e9d2d985b7602541de1a3a0e86c01..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/OptionElement.dart
|
| +++ /dev/null
|
| @@ -1,28 +0,0 @@
|
| -
|
| -class _OptionElementImpl extends _ElementImpl implements OptionElement {
|
| - _OptionElementImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - bool get defaultSelected() => _wrap(_ptr.defaultSelected);
|
| -
|
| - void set defaultSelected(bool value) { _ptr.defaultSelected = _unwrap(value); }
|
| -
|
| - bool get disabled() => _wrap(_ptr.disabled);
|
| -
|
| - void set disabled(bool value) { _ptr.disabled = _unwrap(value); }
|
| -
|
| - FormElement get form() => _wrap(_ptr.form);
|
| -
|
| - int get index() => _wrap(_ptr.index);
|
| -
|
| - String get label() => _wrap(_ptr.label);
|
| -
|
| - void set label(String value) { _ptr.label = _unwrap(value); }
|
| -
|
| - bool get selected() => _wrap(_ptr.selected);
|
| -
|
| - void set selected(bool value) { _ptr.selected = _unwrap(value); }
|
| -
|
| - String get value() => _wrap(_ptr.value);
|
| -
|
| - void set value(String value) { _ptr.value = _unwrap(value); }
|
| -}
|
|
|