| Index: client/dom/generated/src/interface/HTMLInputElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLInputElement.dart b/client/dom/generated/src/interface/HTMLInputElement.dart
|
| index 4afafc23026c1b71906fd9726070e0716bf61fd4..e4b2e29abfe38665476e52089fb9b44c93d29771 100644
|
| --- a/client/dom/generated/src/interface/HTMLInputElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLInputElement.dart
|
| @@ -196,8 +196,6 @@ interface HTMLInputElement extends HTMLElement {
|
|
|
| void setSelectionRange(int start, int end, [String direction]);
|
|
|
| - void setValueForUser(String value);
|
| -
|
| void stepDown([int n]);
|
|
|
| void stepUp([int n]);
|
|
|