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