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 |
new file mode 100644 |
index 0000000000000000000000000000000000000000..dfafc4d4495e2b3e87e5dda1e1d150251df2a550 |
--- /dev/null |
+++ b/client/html/generated/html/dartium/SVGStyleElement.dart |
@@ -0,0 +1,26 @@ |
+ |
+class _SVGStyleElementImpl extends _SVGElementImpl implements SVGStyleElement { |
+ _SVGStyleElementImpl._wrap(ptr) : super._wrap(ptr); |
+ |
+ bool get disabled() => _wrap(_ptr.disabled); |
+ |
+ void set disabled(bool value) { _ptr.disabled = _unwrap(value); } |
+ |
+ String get media() => _wrap(_ptr.media); |
+ |
+ void set media(String value) { _ptr.media = _unwrap(value); } |
+ |
+ String get type() => _wrap(_ptr.type); |
+ |
+ void set type(String value) { _ptr.type = _unwrap(value); } |
+ |
+ // From SVGLangSpace |
+ |
+ String get xmllang() => _wrap(_ptr.xmllang); |
+ |
+ void set xmllang(String value) { _ptr.xmllang = _unwrap(value); } |
+ |
+ String get xmlspace() => _wrap(_ptr.xmlspace); |
+ |
+ void set xmlspace(String value) { _ptr.xmlspace = _unwrap(value); } |
+} |