| 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 62c36c37fb4df92b6c6aac31afb458217038243f..adf00ea9876468c82d707b45dda0a4cc32b8cb80 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.html
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.html
|
| @@ -55,18 +55,6 @@
|
| </template>
|
| </polymer-element>
|
|
|
| -<polymer-element name="vm-nav-menu">
|
| - <template>
|
| - <nav-menu link="/vm" anchor="{{ nameAndAddress(vm.name, vm.target) }}" 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 }}">
|
|
|