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 |
deleted file mode 100644 |
index eaed6e6484d1fca1c42676960e3114eec9910f67..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/SVGStyleElement.dart |
+++ /dev/null |
@@ -1,30 +0,0 @@ |
- |
-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 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); } |
- |
- // 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); } |
-} |