| 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 cd77f92ee18cf873da35015874bbed1c56493b2e..302fd21ca2f876004db1dfcbf5fb1dc84005b335 100644
|
| --- a/client/dom/generated/src/frog/HTMLFontElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLFontElement.dart
|
| @@ -1,15 +1,9 @@
|
|
|
| class _HTMLFontElementJs extends _HTMLElementJs implements HTMLFontElement native "*HTMLFontElement" {
|
|
|
| - String get color() native "return this.color;";
|
| + String color;
|
|
|
| - void set color(String value) native "this.color = value;";
|
| + String face;
|
|
|
| - 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;";
|
| + String size;
|
| }
|
|
|