Index: client/html/generated/html/dartium/DetailsElement.dart |
diff --git a/client/html/generated/html/dartium/DetailsElement.dart b/client/html/generated/html/dartium/DetailsElement.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..3284ffc0fa55642fdf1e35c3621d5fbb746f2fdb |
--- /dev/null |
+++ b/client/html/generated/html/dartium/DetailsElement.dart |
@@ -0,0 +1,8 @@ |
+ |
+class _DetailsElementImpl extends _ElementImpl implements DetailsElement { |
+ _DetailsElementImpl._wrap(ptr) : super._wrap(ptr); |
+ |
+ bool get open() => _wrap(_ptr.open); |
+ |
+ void set open(bool value) { _ptr.open = _unwrap(value); } |
+} |