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