| Index: runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/isolate_view.html
|
| diff --git a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/isolate_view.html b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/isolate_view.html
|
| index 9a780cd5bebb81ea521261afe062bb577423afcd..424c28d6c9589286d97170bf2c382a5eaa13b6f7 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/isolate_view.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/isolate_view.html
|
| @@ -27,6 +27,7 @@
|
| <top-nav-menu></top-nav-menu>
|
| <isolate-nav-menu isolate="{{ isolate }}" last="{{ true }}">
|
| </isolate-nav-menu>
|
| + <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| <nav-control></nav-control>
|
| </nav-bar>
|
|
|