| Index: client/dom/generated/src/frog/HTMLFrameElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLFrameElement.dart b/client/dom/generated/src/frog/HTMLFrameElement.dart
|
| index eeae8fe48a8854a509cdc742e48e559ab2601c3e..bafe4746f864bac35837e8e8b1b9cd1ea6abc336 100644
|
| --- a/client/dom/generated/src/frog/HTMLFrameElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLFrameElement.dart
|
| @@ -1,9 +1,9 @@
|
|
|
| -class HTMLFrameElement extends HTMLElement native "*HTMLFrameElement" {
|
| +class HTMLFrameElementJS extends HTMLElementJS implements HTMLFrameElement native "*HTMLFrameElement" {
|
|
|
| - Document get contentDocument() native "return this.contentDocument;";
|
| + DocumentJS get contentDocument() native "return this.contentDocument;";
|
|
|
| - DOMWindow get contentWindow() native "return this.contentWindow;";
|
| + DOMWindowJS get contentWindow() native "return this.contentWindow;";
|
|
|
| String get frameBorder() native "return this.frameBorder;";
|
|
|
| @@ -45,5 +45,5 @@ class HTMLFrameElement extends HTMLElement native "*HTMLFrameElement" {
|
|
|
| int get width() native "return this.width;";
|
|
|
| - SVGDocument getSVGDocument() native;
|
| + SVGDocumentJS getSVGDocument() native;
|
| }
|
|
|