| Index: tools/dom/src/EventStreamProvider.dart
|
| diff --git a/tools/dom/src/EventStreamProvider.dart b/tools/dom/src/EventStreamProvider.dart
|
| index f5a9407eb6f561119befa2069eedc43528734ff0..84febfe28e9bdbed27914e803f08aefadfec5069 100644
|
| --- a/tools/dom/src/EventStreamProvider.dart
|
| +++ b/tools/dom/src/EventStreamProvider.dart
|
| @@ -97,6 +97,12 @@ class _EventStreamSubscription<T extends Event> extends StreamSubscription<T> {
|
| _target.$dom_removeEventListener(_eventType, _onData, _useCapture);
|
| }
|
| }
|
| +
|
| + Future asFuture([var futureValue]) {
|
| + // We just need a future that will never succeed or fail.
|
| + Completer completer = new Completer();
|
| + return completer.future;
|
| + }
|
| }
|
|
|
|
|
|
|