| Index: runtime/observatory/lib/src/elements/timeline_page.dart
|
| diff --git a/runtime/observatory/lib/src/elements/timeline_page.dart b/runtime/observatory/lib/src/elements/timeline_page.dart
|
| index 7a70c1102dc387189ecf4492f6b2bd3f43e9ab25..cdcb1d7ddaf60d3dbfc10557b2dc682959071da4 100644
|
| --- a/runtime/observatory/lib/src/elements/timeline_page.dart
|
| +++ b/runtime/observatory/lib/src/elements/timeline_page.dart
|
| @@ -47,6 +47,8 @@ class TimelinePageElement extends ObservatoryElement {
|
| }
|
|
|
| Future refresh() async {
|
| + await app.vm.reload();
|
| + await app.vm.reloadIsolates();
|
| return postMessage('refresh');
|
| }
|
|
|
|
|