| 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 188baeb1b1c10609dd3d1fbcc072e83aa5933d97..2c31b609cf1a09e65805eaaae2ac964eaa2dd49a 100644
|
| --- a/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLEmbedElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLEmbedElement extends HTMLElement native "*HTMLEmbedElement" {
|
| +class HTMLEmbedElementJS extends HTMLElementJS implements HTMLEmbedElement native "*HTMLEmbedElement" {
|
|
|
| String get align() native "return this.align;";
|
|
|
| @@ -25,5 +25,5 @@ class HTMLEmbedElement extends HTMLElement native "*HTMLEmbedElement" {
|
|
|
| void set width(String value) native "this.width = value;";
|
|
|
| - SVGDocument getSVGDocument() native;
|
| + SVGDocumentJS getSVGDocument() native;
|
| }
|
|
|