| 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 c1e84ecd7b690cc72ba0e8bdc9ff553ecac9a63f..04d5644b51589856e76705e4524b8591d3fd5b10 100644
|
| --- a/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| @@ -3,7 +3,7 @@ class HTMLEmbedElement extends HTMLElement native "HTMLEmbedElement" {
|
|
|
| String align;
|
|
|
| - int height;
|
| + String height;
|
|
|
| String name;
|
|
|
| @@ -11,5 +11,5 @@ class HTMLEmbedElement extends HTMLElement native "HTMLEmbedElement" {
|
|
|
| String type;
|
|
|
| - int width;
|
| + String width;
|
| }
|
|
|