| Index: runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/function_view.html
|
| diff --git a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/function_view.html b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/function_view.html
|
| index 4506ab0e924fb02321218f288034c44b62e405bb..439b6a6a813bb0104e55747ec72f4f974ecef34d 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/function_view.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/function_view.html
|
| @@ -22,6 +22,7 @@
|
| <library-nav-menu library="{{ function.owningLibrary }}"></library-nav-menu>
|
| </template>
|
| <nav-menu link="{{ function.link }}" anchor="{{ function.name }}" last="{{ true }}"></nav-menu>
|
| + <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| <nav-control></nav-control>
|
| </nav-bar>
|
|
|