| 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 fd6b438173b373358649568f0f84aa05ed666900..8e3e413546ccba203ae8a1e6d0cad9f9c35c2c9d 100644
|
| --- a/client/dom/generated/src/interface/HTMLEmbedElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLEmbedElement.dart
|
| @@ -6,29 +6,17 @@
|
|
|
| interface HTMLEmbedElement extends HTMLElement {
|
|
|
| - String get align();
|
| + String align;
|
|
|
| - void set align(String value);
|
| + String height;
|
|
|
| - String get height();
|
| + String name;
|
|
|
| - void set height(String value);
|
| + String src;
|
|
|
| - String get name();
|
| + String type;
|
|
|
| - void set name(String value);
|
| -
|
| - String get src();
|
| -
|
| - void set src(String value);
|
| -
|
| - String get type();
|
| -
|
| - void set type(String value);
|
| -
|
| - String get width();
|
| -
|
| - void set width(String value);
|
| + String width;
|
|
|
| SVGDocument getSVGDocument();
|
| }
|
|
|