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