Index: runtime/observatory/lib/src/elements/flag_list.dart |
diff --git a/runtime/observatory/lib/src/elements/flag_list.dart b/runtime/observatory/lib/src/elements/flag_list.dart |
index c5a9bdca75ee56af548fb2bd105c7cc70192c3cf..b38ad086838fa447f49804f7faaef3c5b849d76b 100644 |
--- a/runtime/observatory/lib/src/elements/flag_list.dart |
+++ b/runtime/observatory/lib/src/elements/flag_list.dart |
@@ -4,6 +4,7 @@ |
library flag_list_element; |
+import 'dart:async'; |
import 'package:polymer/polymer.dart'; |
import 'observatory_element.dart'; |
import 'package:observatory/service.dart'; |
@@ -14,8 +15,8 @@ class FlagListElement extends ObservatoryElement { |
FlagListElement.created() : super.created(); |
- void refresh(var done) { |
- flagList.reload().whenComplete(done); |
+ Future refresh() { |
+ return flagList.reload(); |
} |
} |