| 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); }
|
| -}
|
|
|