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> |