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