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(); |
} |