| Index: client/html/generated/src/interface/SVGLineElement.dart
|
| diff --git a/client/html/generated/src/interface/HtmlElement.dart b/client/html/generated/src/interface/SVGLineElement.dart
|
| similarity index 51%
|
| rename from client/html/generated/src/interface/HtmlElement.dart
|
| rename to client/html/generated/src/interface/SVGLineElement.dart
|
| index a4d11d1f9350d5417b29bbff11d5025561cb2418..ab12275a6518d17c32a0c20e97c1f0c4e39a9c2e 100644
|
| --- a/client/html/generated/src/interface/HtmlElement.dart
|
| +++ b/client/html/generated/src/interface/SVGLineElement.dart
|
| @@ -4,13 +4,13 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface HtmlElement extends Element {
|
| +interface SVGLineElement extends SVGElement, SVGTests, SVGLangSpace, SVGExternalResourcesRequired, SVGStylable, SVGTransformable {
|
|
|
| - String get manifest();
|
| + SVGAnimatedLength get x1();
|
|
|
| - void set manifest(String value);
|
| + SVGAnimatedLength get x2();
|
|
|
| - String get version();
|
| + SVGAnimatedLength get y1();
|
|
|
| - void set version(String value);
|
| + SVGAnimatedLength get y2();
|
| }
|
|
|