Index: client/dom/generated/src/frog/SVGStyleElement.dart |
diff --git a/client/dom/generated/src/frog/SVGStyleElement.dart b/client/dom/generated/src/frog/SVGStyleElement.dart |
index 5d86de7c93383be33e57a5dee188ff51c2b8ecbd..a85f8213e65d4caab704573b1e4e28b61557c738 100644 |
--- a/client/dom/generated/src/frog/SVGStyleElement.dart |
+++ b/client/dom/generated/src/frog/SVGStyleElement.dart |
@@ -1,15 +1,25 @@ |
class SVGStyleElement extends SVGElement native "*SVGStyleElement" { |
- String media; |
+ String get media() native "return this.media;"; |
- String title; |
+ void set media(String value) native "this.media = value;"; |
- String type; |
+ String get title() native "return this.title;"; |
+ |
+ void set title(String value) native "this.title = value;"; |
+ |
+ String get type() native "return this.type;"; |
+ |
+ void set type(String value) native "this.type = value;"; |
// From SVGLangSpace |
- String xmllang; |
+ String get xmllang() native "return this.xmllang;"; |
+ |
+ void set xmllang(String value) native "this.xmllang = value;"; |
+ |
+ String get xmlspace() native "return this.xmlspace;"; |
- String xmlspace; |
+ void set xmlspace(String value) native "this.xmlspace = value;"; |
} |