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; |
} |