| Index: client/dom/generated/src/interface/HTMLProgressElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLProgressElement.dart b/client/dom/generated/src/interface/HTMLProgressElement.dart
|
| index 5e7948e9ce6d2a18a81dfb4c94f5eb953fc1dfbd..d94e95940a22277fb8e0cee2e7933cb6ec1829f9 100644
|
| --- a/client/dom/generated/src/interface/HTMLProgressElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLProgressElement.dart
|
| @@ -6,17 +6,13 @@
|
|
|
| interface HTMLProgressElement extends HTMLElement {
|
|
|
| - HTMLFormElement get form();
|
| + final HTMLFormElement form;
|
|
|
| - NodeList get labels();
|
| + final NodeList labels;
|
|
|
| - num get max();
|
| + num max;
|
|
|
| - void set max(num value);
|
| + final num position;
|
|
|
| - num get position();
|
| -
|
| - num get value();
|
| -
|
| - void set value(num value);
|
| + num value;
|
| }
|
|
|