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(); |
} |
} |