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