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 41f690a69649965a936c68cb7d6d33ead221713d..735300d0fc4c51660aad4f91eec2ac81cd6ddcb2 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 |
@@ -16703,7 +16703,7 @@ class Events { |
Events(this._ptr); |
- Stream operator [](String type) { |
+ Stream<Event> operator [](String type) { |
return new _EventStream(_ptr, type, false); |
} |
} |
@@ -16728,7 +16728,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( |
@@ -30223,8 +30223,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 { |