| Index: runtime/observatory/lib/src/elements/object_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/object_view.dart b/runtime/observatory/lib/src/elements/object_view.dart
|
| index f0fda0558101482aead3aa874a2e96cc9db319e6..c4a2696aee08a1be402ed6dd076d9333e2e6ea07 100644
|
| --- a/runtime/observatory/lib/src/elements/object_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/object_view.dart
|
| @@ -13,4 +13,8 @@ class ObjectViewElement extends ObservatoryElement {
|
| @published ServiceObject object;
|
|
|
| ObjectViewElement.created() : super.created();
|
| +
|
| + void refresh(Function onDone) {
|
| + object.reload().whenComplete(onDone);
|
| + }
|
| }
|
|
|