Index: runtime/observatory/lib/src/elements/metrics.html |
diff --git a/runtime/observatory/lib/src/elements/metrics.html b/runtime/observatory/lib/src/elements/metrics.html |
index 049c990b312a9a9f8cf83cf86cd3b58d2ae1ed75..899292abec8746a4e1b47ef214c3e3f31d58030d 100644 |
--- a/runtime/observatory/lib/src/elements/metrics.html |
+++ b/runtime/observatory/lib/src/elements/metrics.html |
@@ -17,7 +17,11 @@ |
} |
</style> |
<nav-bar> |
- <top-nav-menu last="{{ true }}"></top-nav-menu> |
+ <top-nav-menu></top-nav-menu> |
+ <vm-nav-menu vm="{{ isolate.vm }}"></vm-nav-menu> |
+ <isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu> |
+ <nav-menu link="{{ makeLink('/metrics', isolate) }}" anchor="metrics" last="{{ true }}"></nav-menu> |
+ |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
</nav-bar> |
<div class="flex-row"> |