| Index: client/dom/generated/src/frog/HTMLInputElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLInputElement.dart b/client/dom/generated/src/frog/HTMLInputElement.dart
|
| index 47d62f759f90aaf4859ef291023a0957ae04d4b3..ed10b81dc13675a5c6595be0ac19a6ff4f7eb797 100644
|
| --- a/client/dom/generated/src/frog/HTMLInputElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLInputElement.dart
|
| @@ -109,8 +109,6 @@ class HTMLInputElement extends HTMLElement native "HTMLInputElement" {
|
|
|
| void setSelectionRange(int start, int end, [String direction = null]) native;
|
|
|
| - void setValueForUser(String value) native;
|
| -
|
| void stepDown([int n = null]) native;
|
|
|
| void stepUp([int n = null]) native;
|
|
|