| Index: tools/dom/templates/html/impl/impl_EventTarget.darttemplate
|
| diff --git a/tools/dom/templates/html/impl/impl_EventTarget.darttemplate b/tools/dom/templates/html/impl/impl_EventTarget.darttemplate
|
| index c6d74ef5691b55ae6d942f04bbda3d186e1d84fc..97180a1993aa071372177dde69e1613544411861 100644
|
| --- a/tools/dom/templates/html/impl/impl_EventTarget.darttemplate
|
| +++ b/tools/dom/templates/html/impl/impl_EventTarget.darttemplate
|
| @@ -46,7 +46,7 @@ class Events {
|
|
|
| Events(this._ptr);
|
|
|
| - Stream operator [](String type) {
|
| + Stream<Event> operator [](String type) {
|
| return new _EventStream(_ptr, type, false);
|
| }
|
| }
|
| @@ -71,7 +71,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(
|
|
|