| Index: client/dom/generated/src/interface/HTMLFontElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLFontElement.dart b/client/dom/generated/src/interface/HTMLFontElement.dart
|
| index f579a5549f69370b6acabcaa42ca1be6d2565ce3..837aa28b5c1a2cf6d99aae4f293625d78c33dd95 100644
|
| --- a/client/dom/generated/src/interface/HTMLFontElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLFontElement.dart
|
| @@ -6,15 +6,9 @@
|
|
|
| interface HTMLFontElement extends HTMLElement {
|
|
|
| - String get color();
|
| + String color;
|
|
|
| - void set color(String value);
|
| + String face;
|
|
|
| - String get face();
|
| -
|
| - void set face(String value);
|
| -
|
| - String get size();
|
| -
|
| - void set size(String value);
|
| + String size;
|
| }
|
|
|