| Index: client/dom/generated/src/interface/HTMLEmbedElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLEmbedElement.dart b/client/dom/generated/src/interface/HTMLEmbedElement.dart
|
| index 2f278506cdb09d9651ebf8cddb3eaa3abb872f4f..6e759330b8cc42f3a5a9f2341c84238ee6b534d1 100644
|
| --- a/client/dom/generated/src/interface/HTMLEmbedElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLEmbedElement.dart
|
| @@ -10,9 +10,9 @@ interface HTMLEmbedElement extends HTMLElement {
|
|
|
| void set align(String value);
|
|
|
| - int get height();
|
| + String get height();
|
|
|
| - void set height(int value);
|
| + void set height(String value);
|
|
|
| String get name();
|
|
|
| @@ -26,7 +26,7 @@ interface HTMLEmbedElement extends HTMLElement {
|
|
|
| void set type(String value);
|
|
|
| - int get width();
|
| + String get width();
|
|
|
| - void set width(int value);
|
| + void set width(String value);
|
| }
|
|
|