| 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
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..25e40d6a34aa756eaa9347e9aac6e910b68f112d
|
| --- /dev/null
|
| +++ b/client/html/generated/html/dartium/FontElement.dart
|
| @@ -0,0 +1,16 @@
|
| +
|
| +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); }
|
| +}
|
|
|