| Index: pkg/dev_compiler/tool/input_sdk/lib/html/dart2js/html_dart2js.dart
|
| diff --git a/pkg/dev_compiler/tool/input_sdk/lib/html/dart2js/html_dart2js.dart b/pkg/dev_compiler/tool/input_sdk/lib/html/dart2js/html_dart2js.dart
|
| index 670e03945ee2c317dcdf21f19296812bf8335699..7ef62c44607cb821029e2ffe72ea1c90976413d8 100644
|
| --- a/pkg/dev_compiler/tool/input_sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/pkg/dev_compiler/tool/input_sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -16409,7 +16409,7 @@ class Events {
|
|
|
| Events(this._ptr);
|
|
|
| - Stream operator [](String type) {
|
| + Stream<Event> operator [](String type) {
|
| return new _EventStream(_ptr, type, false);
|
| }
|
| }
|
| @@ -16434,7 +16434,7 @@ class ElementEvents extends Events {
|
|
|
| ElementEvents(Element ptr) : super(ptr);
|
|
|
| - Stream operator [](String type) {
|
| + Stream<Event> operator [](String type) {
|
| if (webkitEvents.keys.contains(type.toLowerCase())) {
|
| if (Device.isWebKit) {
|
| return new _ElementEventStreamImpl(
|
| @@ -29282,8 +29282,8 @@ class SelectElement extends HtmlElement {
|
| // Override default options, since IE returns SelectElement itself and it
|
| // does not operate as a List.
|
| List<OptionElement> get options {
|
| - var options = new List<OptionElement>.from(this.querySelectorAll('option'));
|
| - return new UnmodifiableListView(options);
|
| + var options = this.querySelectorAll/*<OptionElement>*/('option');
|
| + return new UnmodifiableListView(options.toList());
|
| }
|
|
|
| List<OptionElement> get selectedOptions {
|
|
|