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