| Index: client/html/generated/src/interface/InputElement.dart
|
| diff --git a/client/html/generated/src/interface/InputElement.dart b/client/html/generated/src/interface/InputElement.dart
|
| index 140acb82774260ca7f725c4659e6204a871117cf..1ae44a525dab59d068eb4360be35d34e56f137b2 100644
|
| --- a/client/html/generated/src/interface/InputElement.dart
|
| +++ b/client/html/generated/src/interface/InputElement.dart
|
| @@ -102,10 +102,6 @@ interface InputElement extends Element {
|
|
|
| void set name(String value);
|
|
|
| - EventListener get onwebkitspeechchange();
|
| -
|
| - void set onwebkitspeechchange(EventListener value);
|
| -
|
| String get pattern();
|
|
|
| void set pattern(String value);
|
| @@ -196,8 +192,6 @@ interface InputElement extends Element {
|
|
|
| void setSelectionRange(int start, int end, [String direction]);
|
|
|
| - void setValueForUser(String value);
|
| -
|
| void stepDown([int n]);
|
|
|
| void stepUp([int n]);
|
|
|