Index: runtime/observatory/lib/src/elements/cpu_profile.html |
diff --git a/runtime/observatory/lib/src/elements/cpu_profile.html b/runtime/observatory/lib/src/elements/cpu_profile.html |
index 762b0da2812c3608558b1cbe3b82502e0944471a..ab271273ae607f2c81e494c9f5751e20ac654105 100644 |
--- a/runtime/observatory/lib/src/elements/cpu_profile.html |
+++ b/runtime/observatory/lib/src/elements/cpu_profile.html |
@@ -11,6 +11,7 @@ |
<link rel="stylesheet" href="css/shared.css"> |
<nav-bar> |
<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('/profiler-table', isolate) }}" anchor="cpu profile (table)" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
@@ -276,6 +277,7 @@ |
<link rel="stylesheet" href="css/shared.css"> |
<nav-bar> |
<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('/profiler', isolate) }}" anchor="cpu profile" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |