Index: client/dom/generated/src/frog/SVGElement.dart |
diff --git a/client/dom/generated/src/frog/SVGElement.dart b/client/dom/generated/src/frog/SVGElement.dart |
index 927fc3b4b73137473b540e90603fce3cb2c618e8..c7c6247b036922b59ebcce1aa40bb0cfb33f943e 100644 |
--- a/client/dom/generated/src/frog/SVGElement.dart |
+++ b/client/dom/generated/src/frog/SVGElement.dart |
@@ -1,13 +1,13 @@ |
-class SVGElement extends Element native "*SVGElement" { |
+class SVGElementJS extends ElementJS implements SVGElement native "*SVGElement" { |
String get id() native "return this.id;"; |
void set id(String value) native "this.id = value;"; |
- SVGSVGElement get ownerSVGElement() native "return this.ownerSVGElement;"; |
+ SVGSVGElementJS get ownerSVGElement() native "return this.ownerSVGElement;"; |
- SVGElement get viewportElement() native "return this.viewportElement;"; |
+ SVGElementJS get viewportElement() native "return this.viewportElement;"; |
String get xmlbase() native "return this.xmlbase;"; |