| 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 a6a041177b1c3283dad78260fce6d3023b4c5794..dcdddd3e7a2d1e394a27bd6610a11d189cbf5a35 100644
|
| --- a/runtime/observatory/lib/src/elements/metrics.html
|
| +++ b/runtime/observatory/lib/src/elements/metrics.html
|
| @@ -1,5 +1,4 @@
|
| <link rel="import" href="../../../../packages/polymer/polymer.html">
|
| -<link rel="import" href="nav_bar.html">
|
| <link rel="import" href="observatory_element.html">
|
|
|
| <polymer-element name="metrics-page" extends="observatory-element">
|
| @@ -20,9 +19,10 @@
|
| <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-menu link="{{ makeLink('/metrics', isolate) }}" anchor="metrics"
|
| + last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
| <div class="flex-row">
|
| <div class="flex-item-20-percent">
|
|
|