Index: client/html/generated/html/dartium/SVGStyleElement.dart |
diff --git a/client/html/generated/html/dartium/SVGStyleElement.dart b/client/html/generated/html/dartium/SVGStyleElement.dart |
index dfafc4d4495e2b3e87e5dda1e1d150251df2a550..eaed6e6484d1fca1c42676960e3114eec9910f67 100644 |
--- a/client/html/generated/html/dartium/SVGStyleElement.dart |
+++ b/client/html/generated/html/dartium/SVGStyleElement.dart |
@@ -10,6 +10,10 @@ class _SVGStyleElementImpl extends _SVGElementImpl implements SVGStyleElement { |
void set media(String value) { _ptr.media = _unwrap(value); } |
+ String get title() => _wrap(_ptr.title); |
+ |
+ void set title(String value) { _ptr.title = _unwrap(value); } |
+ |
String get type() => _wrap(_ptr.type); |
void set type(String value) { _ptr.type = _unwrap(value); } |