| Index: client/html/generated/html/dartium/FontElement.dart
|
| diff --git a/client/html/generated/html/dartium/FontElement.dart b/client/html/generated/html/dartium/FontElement.dart
|
| deleted file mode 100644
|
| index 25e40d6a34aa756eaa9347e9aac6e910b68f112d..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/FontElement.dart
|
| +++ /dev/null
|
| @@ -1,16 +0,0 @@
|
| -
|
| -class _FontElementImpl extends _ElementImpl implements FontElement {
|
| - _FontElementImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - String get color() => _wrap(_ptr.color);
|
| -
|
| - void set color(String value) { _ptr.color = _unwrap(value); }
|
| -
|
| - String get face() => _wrap(_ptr.face);
|
| -
|
| - void set face(String value) { _ptr.face = _unwrap(value); }
|
| -
|
| - String get size() => _wrap(_ptr.size);
|
| -
|
| - void set size(String value) { _ptr.size = _unwrap(value); }
|
| -}
|
|
|