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 |
new file mode 100644 |
index 0000000000000000000000000000000000000000..643442a32441c748a452f7a7ea458e27e0b7503f |
--- /dev/null |
+++ b/client/html/generated/html/dartium/ProgressElement.dart |
@@ -0,0 +1,18 @@ |
+ |
+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); } |
+} |