Index: client/html/generated/html/dartium/ProgressElement.dart |
diff --git a/client/html/generated/html/dartium/ProgressElement.dart b/client/html/generated/html/dartium/ProgressElement.dart |
deleted file mode 100644 |
index 643442a32441c748a452f7a7ea458e27e0b7503f..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/ProgressElement.dart |
+++ /dev/null |
@@ -1,18 +0,0 @@ |
- |
-class _ProgressElementImpl extends _ElementImpl implements ProgressElement { |
- _ProgressElementImpl._wrap(ptr) : super._wrap(ptr); |
- |
- FormElement get form() => _wrap(_ptr.form); |
- |
- NodeList get labels() => _wrap(_ptr.labels); |
- |
- num get max() => _wrap(_ptr.max); |
- |
- void set max(num value) { _ptr.max = _unwrap(value); } |
- |
- num get position() => _wrap(_ptr.position); |
- |
- num get value() => _wrap(_ptr.value); |
- |
- void set value(num value) { _ptr.value = _unwrap(value); } |
-} |