Index: client/dom/generated/src/frog/HTMLFontElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLFontElement.dart b/client/dom/generated/src/frog/HTMLFontElement.dart |
index 1cfa728c45913b8c11a98feb757680369bfb9659..d0fbf2f99201982159abf12aa4203cfa3d940077 100644 |
--- a/client/dom/generated/src/frog/HTMLFontElement.dart |
+++ b/client/dom/generated/src/frog/HTMLFontElement.dart |
@@ -1,9 +1,15 @@ |
class HTMLFontElement extends HTMLElement native "*HTMLFontElement" { |
- String color; |
+ String get color() native "return this.color;"; |
- String face; |
+ void set color(String value) native "this.color = value;"; |
- String size; |
+ String get face() native "return this.face;"; |
+ |
+ void set face(String value) native "this.face = value;"; |
+ |
+ String get size() native "return this.size;"; |
+ |
+ void set size(String value) native "this.size = value;"; |
} |