| Index: runtime/bin/vmservice/client/lib/src/elements/library_view.html
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/library_view.html b/runtime/bin/vmservice/client/lib/src/elements/library_view.html
|
| index 0d12935fd9c2679212f6a153e46230fcae9df3a5..73fb13a693a758733b5a097a21b582b0c0ae1b29 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/library_view.html
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/library_view.html
|
| @@ -18,6 +18,7 @@
|
| <top-nav-menu></top-nav-menu>
|
| <isolate-nav-menu isolate="{{ library.isolate }}"></isolate-nav-menu>
|
| <library-nav-menu library="{{ library }}" last="{{ true }}"></library-nav-menu>
|
| + <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| <nav-control></nav-control>
|
| </nav-bar>
|
|
|