| Index: client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLEmbedElement.dart b/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| index 3a25ef082072cb088eb02f1b23880cbe6705da97..86fffe51660a146f5f27fe64158d98183f04d6e8 100644
|
| --- a/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| @@ -1,29 +1,17 @@
|
|
|
| class _HTMLEmbedElementJs extends _HTMLElementJs implements HTMLEmbedElement native "*HTMLEmbedElement" {
|
|
|
| - String get align() native "return this.align;";
|
| + String align;
|
|
|
| - void set align(String value) native "this.align = value;";
|
| + String height;
|
|
|
| - String get height() native "return this.height;";
|
| + String name;
|
|
|
| - void set height(String value) native "this.height = value;";
|
| + String src;
|
|
|
| - String get name() native "return this.name;";
|
| + String type;
|
|
|
| - void set name(String value) native "this.name = value;";
|
| -
|
| - String get src() native "return this.src;";
|
| -
|
| - void set src(String value) native "this.src = value;";
|
| -
|
| - String get type() native "return this.type;";
|
| -
|
| - void set type(String value) native "this.type = value;";
|
| -
|
| - String get width() native "return this.width;";
|
| -
|
| - void set width(String value) native "this.width = value;";
|
| + String width;
|
|
|
| _SVGDocumentJs getSVGDocument() native;
|
| }
|
|
|