| Index: client/html/generated/src/interface/EmbedElement.dart
|
| diff --git a/client/html/generated/src/interface/EmbedElement.dart b/client/html/generated/src/interface/EmbedElement.dart
|
| index 652fa0b96e7b0d65d2edf9d66130749830caa8a1..1c0d65b42e863fac982154f38a7c88c923f5c962 100644
|
| --- a/client/html/generated/src/interface/EmbedElement.dart
|
| +++ b/client/html/generated/src/interface/EmbedElement.dart
|
| @@ -10,9 +10,9 @@ interface EmbedElement extends Element {
|
|
|
| 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 EmbedElement extends Element {
|
|
|
| void set type(String value);
|
|
|
| - int get width();
|
| + String get width();
|
|
|
| - void set width(int value);
|
| + void set width(String value);
|
| }
|
|
|