| Index: runtime/observatory/lib/src/elements/script_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/script_view.dart b/runtime/observatory/lib/src/elements/script_view.dart
|
| index fa8ccd291f865f4912f5ed09a75a6b2efb34884a..ff07a808461f05cbf1c6613a21b6bfcce089e676 100644
|
| --- a/runtime/observatory/lib/src/elements/script_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/script_view.dart
|
| @@ -4,6 +4,7 @@
|
|
|
| library script_view_element;
|
|
|
| +import 'dart:async';
|
| import 'observatory_element.dart';
|
| import 'package:observatory/elements.dart';
|
| import 'package:observatory/service.dart';
|
| @@ -16,11 +17,11 @@ class ScriptViewElement extends ObservatoryElement {
|
|
|
| ScriptViewElement.created() : super.created();
|
|
|
| - void refresh(var done) {
|
| - script.reload().whenComplete(done);
|
| + Future refresh() {
|
| + return script.reload();
|
| }
|
|
|
| - void refreshCoverage(var done) {
|
| - script.refreshCoverage().whenComplete(done);
|
| + Future refreshCoverage() {
|
| + return script.refreshCoverage();
|
| }
|
| }
|
|
|