| Index: client/dom/generated/src/interface/SVGSVGElement.dart
|
| diff --git a/client/dom/generated/src/interface/SVGSVGElement.dart b/client/dom/generated/src/interface/SVGSVGElement.dart
|
| index b702e62d27d710dad039a63a2675c1b6326a3481..ebf62a44142a2eb4b056dbea0838baaaeb1acf75 100644
|
| --- a/client/dom/generated/src/interface/SVGSVGElement.dart
|
| +++ b/client/dom/generated/src/interface/SVGSVGElement.dart
|
| @@ -6,41 +6,33 @@
|
|
|
| interface SVGSVGElement extends SVGElement, SVGTests, SVGLangSpace, SVGExternalResourcesRequired, SVGStylable, SVGLocatable, SVGFitToViewBox, SVGZoomAndPan {
|
|
|
| - String get contentScriptType();
|
| + String contentScriptType;
|
|
|
| - void set contentScriptType(String value);
|
| + String contentStyleType;
|
|
|
| - String get contentStyleType();
|
| + num currentScale;
|
|
|
| - void set contentStyleType(String value);
|
| + final SVGPoint currentTranslate;
|
|
|
| - num get currentScale();
|
| + final SVGAnimatedLength height;
|
|
|
| - void set currentScale(num value);
|
| + final num pixelUnitToMillimeterX;
|
|
|
| - SVGPoint get currentTranslate();
|
| + final num pixelUnitToMillimeterY;
|
|
|
| - SVGAnimatedLength get height();
|
| + final num screenPixelToMillimeterX;
|
|
|
| - num get pixelUnitToMillimeterX();
|
| + final num screenPixelToMillimeterY;
|
|
|
| - num get pixelUnitToMillimeterY();
|
| + bool useCurrentView;
|
|
|
| - num get screenPixelToMillimeterX();
|
| + final SVGRect viewport;
|
|
|
| - num get screenPixelToMillimeterY();
|
| + final SVGAnimatedLength width;
|
|
|
| - bool get useCurrentView();
|
| + final SVGAnimatedLength x;
|
|
|
| - void set useCurrentView(bool value);
|
| -
|
| - SVGRect get viewport();
|
| -
|
| - SVGAnimatedLength get width();
|
| -
|
| - SVGAnimatedLength get x();
|
| -
|
| - SVGAnimatedLength get y();
|
| + final SVGAnimatedLength y;
|
|
|
| bool animationsPaused();
|
|
|
|
|