| Index: runtime/observatory/lib/src/elements/library_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/library_view.html b/runtime/observatory/lib/src/elements/library_view.html
|
| index 6478d333ee43384c45c37454f1f631dfefba33f4..a50b06441f19cb3950a74b2e4a8e235b7f5e1488 100644
|
| --- a/runtime/observatory/lib/src/elements/library_view.html
|
| +++ b/runtime/observatory/lib/src/elements/library_view.html
|
| @@ -17,6 +17,7 @@
|
|
|
| <nav-bar>
|
| <top-nav-menu></top-nav-menu>
|
| + <vm-nav-menu vm="{{ library.isolate.vm }}"></vm-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>
|
|
|