Index: lib/html/src/SVGSVGElement.dart |
diff --git a/lib/html/src/SVGSVGElement.dart b/lib/html/src/SVGSVGElement.dart |
index d18fde684548363e19348ce35d5ebceadfe07c0e..e90bd87130649a7dda54e295eee00e090af55a50 100644 |
--- a/lib/html/src/SVGSVGElement.dart |
+++ b/lib/html/src/SVGSVGElement.dart |
@@ -7,41 +7,41 @@ interface SVGSVGElement extends SVGElement, SVGTests, SVGLangSpace, SVGExternalR |
SVGSVGElement(); |
- String get contentScriptType(); |
+ String get contentScriptType; |
void set contentScriptType(String value); |
- String get contentStyleType(); |
+ String get contentStyleType; |
void set contentStyleType(String value); |
- num get currentScale(); |
+ num get currentScale; |
void set currentScale(num value); |
- SVGPoint get currentTranslate(); |
+ SVGPoint get currentTranslate; |
- SVGAnimatedLength get height(); |
+ SVGAnimatedLength get height; |
- num get pixelUnitToMillimeterX(); |
+ num get pixelUnitToMillimeterX; |
- num get pixelUnitToMillimeterY(); |
+ num get pixelUnitToMillimeterY; |
- num get screenPixelToMillimeterX(); |
+ num get screenPixelToMillimeterX; |
- num get screenPixelToMillimeterY(); |
+ num get screenPixelToMillimeterY; |
- bool get useCurrentView(); |
+ bool get useCurrentView; |
void set useCurrentView(bool value); |
- SVGRect get viewport(); |
+ SVGRect get viewport; |
- SVGAnimatedLength get width(); |
+ SVGAnimatedLength get width; |
- SVGAnimatedLength get x(); |
+ SVGAnimatedLength get x; |
- SVGAnimatedLength get y(); |
+ SVGAnimatedLength get y; |
bool animationsPaused(); |