Index: client/html/generated/html/dartium/StyleElement.dart |
diff --git a/client/html/generated/html/dartium/StyleElement.dart b/client/html/generated/html/dartium/StyleElement.dart |
deleted file mode 100644 |
index 9aa5faecce511537095283d1a7440b263fe434f5..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/StyleElement.dart |
+++ /dev/null |
@@ -1,18 +0,0 @@ |
- |
-class _StyleElementImpl extends _ElementImpl implements StyleElement { |
- _StyleElementImpl._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); } |
- |
- StyleSheet get sheet() => _wrap(_ptr.sheet); |
- |
- String get type() => _wrap(_ptr.type); |
- |
- void set type(String value) { _ptr.type = _unwrap(value); } |
-} |