Index: runtime/observatory/lib/src/elements/nav_bar.html |
diff --git a/runtime/observatory/lib/src/elements/nav_bar.html b/runtime/observatory/lib/src/elements/nav_bar.html |
index f6d44712da6faf7eb42b2cc35a0e48124de77615..218b75d48bb8dfc2f549002f4ac214bd8a464c25 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.html |
+++ b/runtime/observatory/lib/src/elements/nav_bar.html |
@@ -177,6 +177,18 @@ |
</template> |
</polymer-element> |
+<polymer-element name="vm-nav-menu"> |
+ <template> |
+ <nav-menu link="/vm" anchor="{{ vm.target.name }}" last="{{ last }}"> |
+ <template repeat="{{ isolate in vm.isolates }}"> |
+ <nav-menu-item link="{{ makeLink('/inspect', isolate) }}" |
+ anchor="{{ isolate.name }}"></nav-menu-item> |
+ </template> |
+ <content></content> |
+ </nav-menu> |
+ </template> |
+</polymer-element> |
+ |
<polymer-element name="isolate-nav-menu" extends="observatory-element"> |
<template> |
<nav-menu link="{{ makeLink('/inspect', isolate) }}" anchor="{{ isolate.name }}" last="{{ last }}"> |